Logical programming
HomePage
|
Recent Changes
|
Preferences
No diff available--this is the first major revision.
(
minor diff
,
author diff
)
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
.