AI:: Proloog:: De module van Perl van het kookboek bevat recepten voor de gemeenschappelijke problemen van Proloog.

De programmering van de logica kan wat tijd vergen te wennen aan. Dit document is bedoeld om oplossingen aan gemeenschappelijke die problemen te verstrekken in logica programmering worden ontmoet. Veel van de hier vermelde predikaten zullen afhangen van andere hier bepaalde predikaten. In geval van twijfel, zie AI:: Proloog:: Builtins waarvoor predikaten AI:: De steunen van proloog direct.

Als de meeste predikaten in Proloog, kunnen de volgende predikaten op manieren worden opnieuw gebruikt om antwoorden te produceren die een mens van de voorgelegde gegevens kon logisch gezien concluderen. Nochtans, vaak kunnen die „antwoorden“ in oneindige lijnen resulteren. Bijvoorbeeld, in het hieronder vermelde predikaat gather/3, kunnen wij de punten van een lijst verzamelen die de geleverde lijst van indexen aanpassen.

verzamel ([1.3], [a, B, c, D], Resultaat). % Het Resultaat is [a, c]

Of wij kunnen berekenen welke indexen in een lijst de resulterende waarden aanpassen:

verzamel me (Indexen, [a, B, c, D], [a, D]). % De Indexen is [1.4]

Nochtans, als wij wensen om te begrijpen welke lijsten de bepaalde lijsten voor de bepaalde indexen zullen hebben, hebben wij een oneindig geplaatst resultaat. AI:: Proloog zal en (andere implementaties van Proloog) één resultaat terugkeren en zal dan een oneindige lijn ingaan als u vraagt het doel is resatisfied (d.w.z., als u om een ander resultaat vraagt). Als u gedrag zoals dit in uw programma's ziet, kunt u het spoor uitgeven. bevel om te zien hoe Proloog intern probeert om uw doel tevreden te stellen. notrace. het vinden zal uitzetten.