?- [code].
true.

?- play.
Think of an animal you know a lot about.
When you have it in mind, hit enter.
|: 
Is it larger than a breadbox?
|: no
OK.
It is not larger than a breadbox.

Is it a sengi?
|: yes
Yay! It is a sengi!

Use 'dump_all.' to get the script and animals if you want!
true .

?- play.
Think of an animal you know a lot about.
When you have it in mind, hit enter.
|: 
Is it larger than a breadbox?
|: yes
OK.
It is larger than a breadbox.

Is it a mammal?
|: no
OK.
It is not a mammal.
It is larger than a breadbox.

Is it a komodo dragon?
|: no
Oh no. I give up!
What is your animal?
|: a nurse shark

A nurse shark is not a mammal.
A nurse shark is larger than a breadbox.


A komodo dragon is not a mammal.
A komodo dragon is larger than a breadbox.


Finish this prompt with a yes-or-no question that would let me tell the difference between a nurse shark and a komodo dragon.
(Don't add a question mark at the end.)

Is it... aquatic
OK.
I can ask: Is it aquatic?

Is a nurse shark aquatic?
|: yes
A nurse shark is aquatic.
A komodo dragon is not aquatic.


Use 'dump_all.' to get the script and animals if you want!
true .

?- dump_all.
animal("an elephant","larger than a breadbox",yes).
animal("an elephant","a mammal",yes).
animal("a sengi","larger than a breadbox",no).
animal("a komodo dragon","larger than a breadbox",yes).
animal("a komodo dragon","a mammal",no).
animal("a nurse shark","aquatic",yes).
animal("a nurse shark","a mammal",no).
animal("a nurse shark","larger than a breadbox",yes).
animal("a komodo dragon","aquatic",no).
script(start,"larger than a breadbox",bbyes,bbno).
script(bbyes,"a mammal",mmyes,mmno).
script(mmno,"aquatic",script_node1,script_node2).
true.