In Frank Pfennig page on an advanced logic programming course
http://foxnet.cs.cmu.edu/people/fp/courses/95-lp.html
we find a nice alternative and more modern "definition" of
what logic programming is:
"Description
Logic programming is a paradigm in which specifications and programs
are expressed within the same language. Traditionally, this language
has been Prolog, a first-order Horn logic augmented with some
extra-logical features. Modern research in logic programming is
concerned with languages that are simultaneously more expressive and
purer than Prolog, including types and modes, higher-order features,
constraints, linearity and state, concurrency, and modules."
At least some of these aspects are better covered by Mozart than by Prolog
although the bit about "specifications" and perhaps about "types"
is a bit weak in both languages.
-Thomas S.
-
Please send submissions to [email protected]
and administriva mail to [email protected].
The Mozart Oz web site is at http://www.mozart-oz.org/.