 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| l |
A type of
programming consisting of facts and relationships
|
|
|
from which the
programming language can draw a conclusion.
|
|
|
|
– |
In imperative
programming languages, we tell the computer what
|
|
|
to do by
programming the procedure by which program states and
|
|
variables are
modified.
|
|
|
|
– |
In contrast, in logical
programming, we don’t tell the computer
|
|
|
|
exactly what it
should do (i.e., how to derive a conclusion). User-
|
|
|
provided facts
and relationships allow it to derive answers via
|
|
|
logical inference.
|
|
|
| l |
Prolog is the
most widely used logic programming
|
|
|
language.
|
|
