Login / Signup

A Formal Associative Model of Logic Programming and its Abstract Instruction Set.

Arvind K. BansalP. V. LokamM. N. Ghandikota
Published in: ICTAI (1994)
Keyphrases
  • logic programming
  • logic programs
  • formal model
  • databases
  • probabilistic model
  • deductive databases
  • machine learning
  • information systems
  • expert systems
  • data warehouse
  • programming language