Category:Prolog: Difference between revisions

no edit summary
(Added features)
No edit summary
 
(4 intermediate revisions by 4 users not shown)
Line 2:
|strength=strong
|checking=dynamic
|gc=yes
|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.
|exec=both
|LCT=yes
|compat=structural
|parampass=value
|bnf=[http://cdn.bitbucket.org/muspellsson/rosetta/downloads/prolog-bnf.html]
}}{{language programming paradigm|Declarative}}{{language programming paradigm|Logic_Programming}}
 
 
|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">