A course on computational logic where we will do some exercises in Prolog.

Contact:

 Burkhardt, Sophie

Sheets

Previous sheets

Introduction to Prolog

Write the prolog predicates described in the assignments. Try to use ``don't cares'' (instead of variable names) where appropriate. Don't use the builtin predicates. Numerical comparison...

Abduction

In this exercise we will use Prolog to formulate hypotheses about faulty components in a malfunc- tioning system. Consider the above example of a 3-bit subtractor ( Figure: By Nitianabhigyan - Own...

News

No news for Computational Logic.