Querying the Internal Database

Rules and facts in the internal (prolog) database can be queried and manipulated

select(Term Goal Where)

Goal is a prolog Goal. Term is the template for what is returned (as a list). Where is (optional) conditions that must apply

  select(X isa(X carnivore))