Fullständiga form av Prolog?

Fullständiga form av Prolog?

Programmering i LOGics