Login / Signup

Functional declarative language design and predicate calculus: a practical approach.

Raymond T. Boute
Published in: ACM Trans. Program. Lang. Syst. (2005)
Keyphrases
  • declarative language
  • predicate calculus
  • case study
  • design process
  • modeling language
  • machine learning
  • high level
  • co occurrence
  • knowledge based systems
  • life cycle
  • deductive databases