Login / Signup

A Data-Driven Model for a Subset of Logic Programming.

Lubomir BicCraig Lee
Published in: ACM Trans. Program. Lang. Syst. (1987)
Keyphrases
  • logic programming
  • data driven
  • formal model
  • high level
  • logic programs
  • deductive databases
  • databases
  • programming language
  • nonmonotonic reasoning
  • integer linear programming