Basic abstractions derived from ARS

The following list is a summary of the most common basic abstractions derived from ARS. A detailed description of each one of them can be found in section power:basic.

• features directly derived from ARS:
  • logical abstractions
    (true, false, if, not, and, or),
  • numerical abstractions
    (natural numbers, zerop, succ, pred, add, sub, mult),
  • relational abstractions,
    (equaln, gtp, ltp, gep)
  • recursion,
  • creation and processing of lists
    (cons, car, cdr, nil, nullp, length, remove, nth, assoc),
  • higher order functions
    (compose, curry, map, mapc, map2, filter, locate, for-each) ,
  • set operations
    (memberp, union, addelt),
  • iterative control structure ('while'),
• development of applications like `simple account handling' and `library management'.

Georg P. Loczewski 2004-03-05

Impressum und Datenschutz