Logical programming
HomePage
|
Recent Changes
|
Preferences
Showing revision 1
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
.