[top][index]
search for:
instance -- whether something has a certain type

instance(x,X) -- tells whether x is an instance of the type X.

We say that x is an instance of X if X is the class of x, or a parent of the class of x, or a grandparent, and so on.

See also:

  • classes and types -- an overview
  • class -- class of an object
  • parent

    • Ways to use instance :

  • instance(Thing,Type)

    • [top][index]
    search for: