Logic programming: Difference between revisions

Revision as of 13:05, 22 March 2004

Revision as of 16:28, 8 April 2004

Line 1:

[[pl:Programowanie logiczne]]

'''Logical programming''' or '''constraint programming''' is a [[programming paradigm]] in which a set of attributes that a solution should have are specified rather than set of steps to obtain such a solution. A widely used logical [[programming language]] is [[Prolog programming language|Prolog]]. Another, more commercial language is [[Mercury programming language| Mercury]].

Schematically, the process is ''facts'' + ''rules'' = ''results''. For a different approach, see [[Inductive logic programming]].