Login / Signup

Making Prolog more Expressive.

John W. LloydRodney W. Topor
Published in: J. Log. Program. (1984)
Keyphrases
  • expert systems
  • logic programming
  • knowledge base
  • knowledge representation
  • database
  • special case
  • programming language
  • theorem proving
  • logic programming language
  • image processing
  • website
  • case study
  • lower bound