wasn't it this the motivation for Prolog?