Introduction to
Logic Programming
What
versus
How
 

Exercise 13.1 - Database Update


Let us assume that the likes relation is symmetric, i.e. if one person likes another, then the second person likes the first. Define the add and delete operations to update the likes relation in a way that enforces the symmetry.