LiLFeS: Overview
Programming Language for Definite Clause Programs
Abstract Machine Architectures
- Byte-code Emulator based on Carpenters�fs AM (IWPT �e95)
- 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�c