Prolog does some important steps in
this direction
• Nevertheless, Prolog is not a full logic
programming language!
• Prolog has a specific way of answering
queries:
– Search knowledge base from top to
bottom
– Processes clauses from left to right
– Backtracking to recover from bad choices