Logic Programming Languages Definition/Meaning:
A class of programming languages, and a subclass of
the declarative languages, that is based on
symbolic logic. Ultimately the
objective is to program in pure logic, but this has not yet been achieved. The
most widely used logic programming language is PROLOG, which is based on the
Horn clause subset of logic but includes certain impure features in order to
provide a practical language.
Logic programming languages are important because of their declarative nature,
their potential power and flexibility, and their suitability for execution on
highly parallel architectures.