Skip to content

Instantly share code, notes, and snippets.

@jgilchrist

jgilchrist/einstein.pl

Last active December 10, 2022 20:33
Show Gist options
  • Save jgilchrist/1b85b04f4395057972dd to your computer and use it in GitHub Desktop.
Save jgilchrist/1b85b04f4395057972dd to your computer and use it in GitHub Desktop.
Download ZIP

Revisions

  1. jgilchrist renamed this gist Jun 6, 2014. 1 changed file with 0 additions and 0 deletions.
    0 solution.pl → einstein.pl
    View file
    File renamed without changes.
  2. jgilchrist revised this gist May 31, 2014. 1 changed file with 2 additions and 2 deletions.
    4 changes: 2 additions & 2 deletions solution.pl
    View file
    Original file line number Diff line number Diff line change
    @@ -4,7 +4,7 @@
    next_to(X, Y) :- right_of(X, Y).
    next_to(X, Y) :- left_of(X, Y).

    solution(Street, Who) :-
    solution(Street, FishOwner) :-
    Street = [
    house(1, Nationality1, Color1, Pet1, Drinks1, Smokes1),
    house(2, Nationality2, Color2, Pet2, Drinks2, Smokes2),
    @@ -36,4 +36,4 @@
    member(house(I, _, _, _, _, blend ), Street),
    member(house(J, _, _, _, water, _ ), Street),
    next_to(I, J),
    member(house(_, Who, _, fish, _, _ ), Street).
    member(house(_, FishOwner, _, fish, _, _ ), Street).
  3. jgilchrist created this gist May 31, 2014.
    39 changes: 39 additions & 0 deletions solution.pl
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,39 @@
    right_of(X, Y) :- X is Y+1.
    left_of(X, Y) :- right_of(Y, X).

    next_to(X, Y) :- right_of(X, Y).
    next_to(X, Y) :- left_of(X, Y).

    solution(Street, Who) :-
    Street = [
    house(1, Nationality1, Color1, Pet1, Drinks1, Smokes1),
    house(2, Nationality2, Color2, Pet2, Drinks2, Smokes2),
    house(3, Nationality3, Color3, Pet3, Drinks3, Smokes3),
    house(4, Nationality4, Color4, Pet4, Drinks4, Smokes4),
    house(5, Nationality5, Color5, Pet5, Drinks5, Smokes5)],
    member(house(_, brit, red, _, _, _ ), Street),
    member(house(_, swede, _, dog, _, _ ), Street),
    member(house(_, dane, _, _, tea, _ ), Street),
    member(house(A, _, green, _, _, _ ), Street),
    member(house(B, _, white, _, _, _ ), Street),
    left_of(A, B),
    member(house(_, _, green, _, coffee, _ ), Street),
    member(house(_, _, _, birds, _, pall_mall ), Street),
    member(house(_, _, yellow, _, _, dunhill ), Street),
    member(house(3, _, _, _, milk, _ ), Street),
    member(house(1, norweigan, _, _, _, _ ), Street),
    member(house(C, _, _, _, _, blend ), Street),
    member(house(D, _, _, cats, _, _ ), Street),
    next_to(C, D),
    member(house(E, _, _, horse, _, _ ), Street),
    member(house(F, _, _, _, _, dunhill ), Street),
    next_to(E, F),
    member(house(_, _, _, _, bluemaster, beer ), Street),
    member(house(_, german, _, _, _, prince ), Street),
    member(house(G, norweigan, _, _, _, _ ), Street),
    member(house(H, _, blue, _, _, _ ), Street),
    next_to(G, H),
    member(house(I, _, _, _, _, blend ), Street),
    member(house(J, _, _, _, water, _ ), Street),
    next_to(I, J),
    member(house(_, Who, _, fish, _, _ ), Street).