Content-Type: text/html

# Logical programming

HomePage | RecentChanges | Preferences
You can edit this page right now! It's a free, community project

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.

HomePage | RecentChanges | Preferences
You can edit this page right now! It's a free, community project
Edit text of this page | View other revisions
Last edited August 16, 2001 4:52 pm (diff)
Search: