Login / Signup

A Note on Semantics of Logic Programs with Equality Based on Complete Sets of E-Unifiers.

Anatoli DegtyarevAndrei Voronkov
Published in: J. Log. Program. (1996)
Keyphrases
  • semantics of logic programs
  • fixpoint
  • logic programs
  • deductive databases
  • truth values
  • answer sets
  • horn clauses
  • database
  • databases
  • high level
  • object oriented
  • description logics
  • integrity constraints