Een van de beste redenen om Prolog te gebruiken is dat je niet hoeft om de computer te vertellen hoe je een probleem op te lossen --- je hoeft alleen de computer die betrokken zijn bij het ​​oplossen van de regels te geven probleem . Prolog programma's bestaan ​​uit een zorgvuldig bestelde set van regels die er zo uitzien : Als X en Y en Z vervolgens W. Deze set van regels grammaticaregels (als u werkt op natuurlijke talen ) of regels over wiskunde ( zou kunnen zijn als je werkt op automatische bewijshulpmiddelen ) of regels over een domein van belang . De regels moeten hebben deze vorm : " Als ( een aantal antecedenten --- inclusief nul antecedenten ) dan ( conclusie ) . " De antecedenten moet worden verbonden met de " en " combinatie . Zodra de regels zijn in de plaats kunt u een vraag te stellen en het programma zal "ja ", "nee " of " weet het niet. "
Kwantificering

Een andere reden om Prolog gebruiken , is dat het zeer gemakkelijk om dingen in Prolog die moeilijk in andere talen uitdrukken . Het is gemakkelijk om feiten drukken in Prolog , maar het is ook gemakkelijk om complexe relaties uitdrukken omdat Prolog gebruikt kwantificering logica in plaats van de eenvoudige logica gebruikt door andere talen . Kwantificering betekent alleen dat een variabele attributen hebben --- in andere woorden , het is niet alleen "als A en B dan C " kan ook " als A ( a , b , c ) en B ( m , n ) dan C ( a , b , n ) " waarbij a, b , c , m en n zijn attributen van a , B en C. bijvoorbeeld : als Between ( x , y , z ) en tussen ( x , k , y) dan tussen ( x , k , z ) " zou moeilijk zijn om uit te drukken in een andere taal --- het zou zeker duren meer dan een regel in een andere taal .
Eenmaking

De reden dat veel mensen kiezen voor Prolog is dat het automatisch zal zoeken naar een antwoord . Dit kan gedaan worden in andere talen , maar het is niet automatisch en zou honderden of duizenden regels code te betrekken . Prolog echt krijgt haar kracht van logische tools zoals kwantificering en eenwording . eenmaking betekent gewoon dat twee dingen niet gelijk aan , zolang ze gelijk met behulp van enkele lijst van vervangingen kunnen worden gemaakt match te zijn . bijvoorbeeld , P ( j , g ) is niet gelijk naar P ( k , g ), maar ze kunnen gelijk wanneer worden gemaakt ( j = k ) is de vervanger lijst . Eenmaking maakt het gemakkelijk om te zoeken naar iets , want als Prolog antwoord " ja " of "nee" het zal ook de vervanging terug lijst die nodig is om dingen te laten werken . bijvoorbeeld, als het feit Hond ( rijk , benji ) is in uw data base en je de vraag " Hond (rijk , x ) ' vragen . Prolog zal terugkeren " ja " en de substitutie lijst ( x = benji ) .