Introduction to
Logic Programming
What
versus
How
 

Exercise 2.1 - Likes


The table on the left illustrates one possible state of Sorority World, and the dataset on the right shows the corresponding information as sentential data. You can click on the squares in the table to check or uncheck those squares, and the dataset on the right changes accordingly. Your mission is to change the table on the left so that every girl likes herself and no one else. As you do so, note the changes to the dataset. This is a very simple exercise; it is intended mostly to illustrate the relationship between the representation of information in tabular form and in sentential form.

  Abby Bess Cody Dana
Abby      
Bess      
Cody  
Dana