LiLFeS: Overview

• Programming Language for Definite Clause Programs

• Abstract Machine Architectures

  • Byte-code Emulator based on Carpenters’s AM (IWPT ‘95)
  • Native-code compiler for Intel Pentim (Under construction)

• Built-ins for a practical use

  • efficient copying of feature structures
  • efficient equivalence checking
  • findall, cut, negation as failure, and so on…

Previous slide

Next slide

Back to first slide

View graphic version