Anonymous user
Category:Prolog: Difference between revisions
Added features
m (The language box and the article list did overlap) |
(Added features) |
||
Line 1:
{{language|Prolog
{{language|Prolog}}[http://en.wikipedia.org/wiki/Prolog Prolog] is a logic programming language. It is programmed declaratively, using ''resolution'' and ''backtracking'' to confirm propositions based on declared facts and rules.▼
|strength=strong
|checking=dynamic
▲
<br clear="both">
|