Logic programming

lastmod 2018-08-17created 2015-05-052 edits

Logic programming is based on the idea of using logical sentences to represent programs and perform computation.

The kinds of logical sentences found in logic programming are (though not necessarily) in absolute clause form.

Language

• Prolog

Favorite site

• Wikipedia (en) description of logic programming