previous up next
Go backward to Function Constants
Go up to Top
Go forward to Natural Language Terms
RISC-Linz logo

Syntax of Terms


  1. Every variable is a term.
  2. If fc is a function constant of arity n and t0, ..., tn-1 are terms,
    fc(t0, ..., tn-1)
    is a term, called an elementary term or function application


Author: Wolfgang Schreiner
Last Modification: October 6, 1999

previous up next