| Prolog Summary |
|
|
|
|
|
|
|
|
|
|
| l | A Prolog program
is a set of specifications in FOL. |
||||||||
| The specification
is known as the database of the |
|||||||||
| system. |
|||||||||
| l | Prolog is an
interactive language (the user enters |
||||||||
| queries in
response to a prompt). |
|||||||||
| l | PROLOG adopts the
closed-world assumption |
||||||||
| l | How does Prolog
find the answer(s)? We return to |
||||||||
| this next week in
Inference in FOL |
|||||||||
| 48 |
