Detailed Topics with Prolog

• Specification as programming

• Predicate logic

• Horn clauses

• Unification, resolution

Previous slide

Next slide

Back to first slide

View graphic version