5 ms·wasn't it this the motivation for Prolog?by rmujica 5y agowasn't it this the motivation for Prolog?