1
2
3
4
5
6
7
8
9
% likes(W, X, Y, Z): person W likes pizzas with X crust, Y cheese, and Z topping
likes(authur,thin,mozzarella,pepperoni).
likes(authur,thin,mozzarella,onion).
likes(authur,thin,parmesan,pepperoni).
likes(authur,thin,parmesan,onion).
likes(authur,handtossed,mozzarella,pepperoni).
likes(authur,handtossed,mozzarella,onion).
likes(authur,handtossed,parmesan,pepperoni).
likes(authur,handtossed,parmesan,onion).
 ...

1
2
3
4
5
6
7
8
9
% road(X,Y): city X is connected to city Y by a road
road(durango,redville).
road(redville,durango).
road(redville,hardwick).
road(hardwick,redville).
road(hardwick,newton).
road(newton,hardwick).
road(newton,burr).
road(burr,newton).
 ...

1
2
3
4
5
6
7
8
9
likes(authur,thin,mozzarella,pepperoni).
likes(authur,thin,mozzarella,onion).
likes(authur,thin,parmesan,pepperoni).
likes(authur,thin,parmesan,onion).
likes(authur,handtossed,mozzarella,pepperoni).
likes(authur,handtossed,mozzarella,onion).
likes(authur,handtossed,parmesan,pepperoni).
likes(authur,handtossed,parmesan,onion).
likes(ford,handtossed,cheddar,pepperoni).
 ...

1
2
3
4
5
6
7
8
9
% road(X,Y): city X is connected to city Y by a road
road(durango,redville).
road(redville,durango).
road(redville,hardwick).
road(hardwick,redville).
road(hardwick,newton).
road(newton,hardwick).
road(newton,burr).
road(burr,newton).
 ...

1
2
3
4
5
6
7
8
9
gender(male,george).
gender(male,henry).
gender(male,edward).
gender(male,luke).
gender(male,gregory).
gender(male,philip).
gender(male,antony).
gender(male,edward).
gender(male,charles).
 ...

1
2
3
4
5
6
7
8
9
gender(male,george).
gender(male,henry).
gender(male,edward).
gender(male,luke).
gender(male,gregory).
gender(male,philip).
gender(male,antony).
gender(male,edward).
gender(male,charles).
 ...

1
2
3
4
5
6
7
8
9
% gender(X,Y): person Y is of gender X
gender(male,george).
gender(male,henry).
gender(male,edward).
gender(male,luke).
gender(male,gregory).
gender(male,philip).
gender(male,antony).
gender(male,edward).
 ...

1
2
3
4
5
6
7
8
9
% gender(X,Y): person Y is of gender X
 
gender(male,george).
 
gender(male,henry).
 
gender(male,edward).
 
gender(male,luke).
 ...

1
2
3
4
5
6
7
8
9
% gender(X,Y): person Y is of gender X
 
gender(male,george).
 
gender(male,henry).
 
gender(male,edward).
 
gender(male,luke).
 ...

1
2
3
4
5
6
7
8
9
% likes(W, X, Y, Z): person W likes pizzas with X crust, Y cheese, and Z topping
likes(authur,thin,mozzarella,pepperoni).
likes(authur,thin,mozzarella,onion).
likes(authur,thin,parmesan,pepperoni).
likes(authur,thin,parmesan,onion).
likes(authur,handtossed,mozzarella,pepperoni).
likes(authur,handtossed,mozzarella,onion).
likes(authur,handtossed,parmesan,pepperoni).
likes(authur,handtossed,parmesan,onion).
 ...

1
2
3
4
5
6
7
8
9
% lectures(X, Y): instructor X lectures in course Y
lectures(applewhite, 9020).
lectures(applewhite, 9045).
lectures(applewhite, 9030).
lectures(codding, 9010).
lectures(codding, 9310).
lectures(codding, 9350).
lectures(barker, 9135).
lectures(barker, 9225).
 ...

1
2
3
4
5
6
7
8
9
road(durango,redville).
road(redville,durango).
road(redville,hardwick).
road(hardwick,redville).
road(hardwick,newton).
road(newton,hardwick).
road(newton,burr).
road(burr,newton).
road(newton,hallsburg).
 ...

1
2
3
4
5
6
7
8
9
% road(X,Y): city X is connected to city Y by a road
road(durango,redville).
road(redville,durango).
road(redville,hardwick).
road(hardwick,redville).
road(hardwick,newton).
road(newton,hardwick).
road(newton,burr).
road(burr,newton).
 ...

1
2
3
4
5
6
7
8
9
road(durango,redville).
road(redville,durango).
road(redville,hardwick).
road(hardwick,redville).
road(hardwick,newton).
road(newton,hardwick).
road(newton,burr).
road(burr,newton).
road(newton,hallsburg).
 ...

1
2
3
4
5
6
7
8
9
% lectures(X, Y): instructor X lectures in course Y
lectures(applewhite, 9020).
lectures(applewhite, 9045).
lectures(applewhite, 9030).
lectures(codding, 9010).
lectures(codding, 9310).
lectures(codding, 9350).
lectures(barker, 9135).
lectures(barker, 9225).
 ...

1
2
3
4
5
6
7
8
9
% road(X,Y): city X is connected to city Y by a road
road(durango,redville).
road(redville,durango).
road(redville,hardwick).
road(hardwick,redville).
road(hardwick,newton).
road(newton,hardwick).
road(newton,burr).
road(burr,newton).
 ...

1
2
3
4
5
6
7
8
9
% lectures(X, Y): instructor X lectures in course Y
lectures(applewhite, 9020).
lectures(applewhite, 9045).
lectures(applewhite, 9030).
lectures(codding, 9010).
lectures(codding, 9310).
lectures(codding, 9350).
lectures(barker, 9135).
lectures(barker, 9225).
 ...

1
2
3
4
5
6
7
8
9
road(durango,redville).
road(redville,durango).
road(redville,hardwick).
road(hardwick,redville).
road(hardwick,newton).
road(newton,hardwick).
road(newton,burr).
road(burr,newton).
road(newton,hallsburg).
 ...

1
2
3
4
5
6
7
8
9
% likes(W, X, Y, Z): person W likes pizzas with X crust, Y cheese, and Z topping
likes(authur,thin,mozzarella,pepperoni).
likes(authur,thin,mozzarella,onion).
likes(authur,thin,parmesan,pepperoni).
likes(authur,thin,parmesan,onion).
likes(authur,handtossed,mozzarella,pepperoni).
likes(authur,handtossed,mozzarella,onion).
likes(authur,handtossed,parmesan,pepperoni).
likes(authur,handtossed,parmesan,onion).
 ...

1
2
3
4
5
6
7
8
9
% lectures(X, Y): instructor X lectures in course Y
lectures(applewhite, 9020).
lectures(applewhite, 9045).
lectures(applewhite, 9030).
lectures(codding, 9010).
lectures(codding, 9310).
lectures(codding, 9350).
lectures(barker, 9135).
lectures(barker, 9225).
 ...

1
2
3
4
5
6
7
8
9
gender(male,george).
gender(male,henry).
gender(male,edward).
gender(male,luke).
gender(male,gregory).
gender(male,philip).
gender(male,antony).
gender(male,edward).
gender(male,charles).
 ...

1
2
3
4
5
6
7
8
9
road(durango,redville).
road(redville,durango).
road(redville,hardwick).
road(hardwick,redville).
road(hardwick,newton).
road(newton,hardwick).
road(newton,burr).
road(burr,newton).
road(newton,hallsburg).
 ...

1
2
3
4
5
6
7
8
9
% gender(X,Y): person Y is of gender X
gender(male,george).
gender(male,henry).
gender(male,edward).
gender(male,luke).
gender(male,gregory).
gender(male,philip).
gender(male,antony).
gender(male,edward).
 ...

1
2
3
4
5
6
7
8
9
road(durango,redville).
road(redville,durango).
road(redville,hardwick).
road(hardwick,redville).
road(hardwick,newton).
road(newton,hardwick).
road(newton,burr).
road(burr,newton).
road(newton,hallsburg).
 ...

1
2
3
4
5
6
7
8
9
road(durango,redville).
road(redville,durango).
road(redville,hardwick).
road(hardwick,redville).
road(hardwick,newton).
road(newton,hardwick).
road(newton,burr).
road(burr,newton).
road(newton,hallsburg).
 ...

1
2
3
4
5
6
7
8
9
% road(X,Y): city X is connected to city Y by a road
road(durango,redville).
road(redville,durango).
road(redville,hardwick).
road(hardwick,redville).
road(hardwick,newton).
road(newton,hardwick).
road(newton,burr).
road(burr,newton).
 ...

1
2
3
4
5
6
7
8
9
% gender(X,Y): person Y is of gender X
gender(male,george).
gender(male,henry).
gender(male,edward).
gender(male,luke).
gender(male,gregory).
gender(male,philip).
gender(male,antony).
gender(male,edward).
 ...

1
2
3
4
5
6
7
8
9
% gender(X,Y): person Y is of gender X
gender(male,george).
gender(male,henry).
gender(male,edward).
gender(male,luke).
gender(male,gregory).
gender(male,philip).
gender(male,antony).
gender(male,edward).
 ...

1
2
3
4
5
6
7
8
9
% gender(X,Y): person Y is of gender X
gender(male,george).
gender(male,henry).
gender(male,edward).
gender(male,luke).
gender(male,gregory).
gender(male,philip).
gender(male,antony).
gender(male,edward).
 ...

1
2
3
4
5
6
7
8
9
% gender(X,Y): person Y is of gender X
gender(male,george).
gender(male,henry).
gender(male,edward).
gender(male,luke).
gender(male,gregory).
gender(male,philip).
gender(male,antony).
gender(male,edward).
 ...