Logic-based Programming Language

From GM-RKB
Revision as of 04:04, 29 April 2012 by Gmelli (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

A Logic-based Programming Language is a Declarative Programming Language that is based on restricted forms of Logic Statements (e.g. Horn Clauses).