Skip to content

Instantly share code, notes, and snippets.

@gilbert

gilbert/dogs.pl

Created January 24, 2020 06:54
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save gilbert/a2afe0e258f3a8059a688286e4165f3f to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save gilbert/a2afe0e258f3a8059a688286e4165f3f to your computer and use it in GitHub Desktop.
Download ZIP

Revisions

  1. gilbert created this gist Jan 24, 2020.
    18 changes: 18 additions & 0 deletions dogs.pl
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,18 @@
    dog(rover).
    dog(felix).
    dog(benny).

    has_owner(rover).
    has_owner(benny).

    is_happy(Dog) :- has_owner(Dog).
    is_happy(Dog) :- breed(Dog, poodle).

    breed(rover, pug).
    breed(felix, poodle).
    breed(benny, beagle).


    adjacent_to(a, b).
    adjacent_to(e, f).
    adjacent_to(X, Y) :- adjacent_to(Y, X).