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

 Burkhardt, Sophie


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...


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...


No news for Computational Logic.