A branch of programming 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. Another, more commercial language is Mercury.
Logical programming
HomePage |
Recent changes |
View source |
Discuss this page |
Page history |
Log in |
Printable version | Disclaimers | Privacy policy