Login / Signup

An automatic debugging approach for logic programming with a method for propagating constraints.

Tetsuji FukayaMorio Nagata
Published in: COMPSAC (1991)
Keyphrases
  • logic programming
  • logic programs
  • knowledge representation
  • programming language
  • parameter estimation
  • constraint satisfaction
  • deductive databases
  • constraint logic programming