Prolog er likt predikatlogikk på den måten at det er mulig å direkte oversette de fleste predikatlogikksetninger ved å erstatte operatørene i setningen med de tilsvarende operatørene til prolog.