Showing revision 1Difference (from revision 1 to revision 1)
(
minor diff,
author diff)
(The revisions are identical or unavailable.)
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.