Login / Signup

System Description: Teyjus - A Compiler and Abstract Machine Based Implementation of lambda-Prolog.

Gopalan NadathurDustin J. Mitchell
Published in: CADE (1999)
Keyphrases
  • abstract machine
  • data model
  • programming language
  • highly optimized
  • high level
  • efficient implementation
  • machine learning
  • information retrieval
  • genetic algorithm
  • information systems
  • knowledge base