{{language|Prolog}}[http://en.wikipedia.org/wiki/PrologProlog] is a logic programming language. It is programmed declaratively, using ''resolution'' and ''backtracking'' to confirm propositions based on declared facts and rules.
|gc=yes}}[[wp:Prolog|Prolog]] is a logic programming language. It is programmed declaratively, using ''resolution'' and ''backtracking'' to confirm propositions based on declared facts and rules.
<br clear="both">
<br clear="both">
Cookies help us deliver our services. By using our services, you agree to our use of cookies.