Terminology

• simple term — number, variable, or atome.g., -92 X greg

• compound term — atom + parenthesized subtermse.g., parent(joe,greg)

• Facts, rules, and queries are made from terms… the functor is the predicate

  • Not related to ML functors

functor

sub-term arguments

Previous slide

Next slide

Back to first slide

View graphic version