Detecting unsolvable queries for definite logic programs

This publication has 9 references indexed in Scilit:

• SLDNFA: An abductive procedure for abductive logic programs
  The Journal of Logic Programming, 1998
• Directional Type Inference for Logic Programs
  Published by Springer Nature ,1998
• An extended variant of atoms loop check for positive logic programs
  New Generation Computing, 1997
• Analyzing logic programs using “prop”-ositional logic programs and a magic wand
  The Journal of Logic Programming, 1995
• XSB as an efficient deductive database engine
  Published by Association for Computing Machinery (ACM) ,1994
• Termination of logic programs: the never-ending story
  The Journal of Logic Programming, 1994
• On rewrite programs: Semantics and relationship with prolog
  The Journal of Logic Programming, 1992
• Memoing for logic programs
  Communications of the ACM, 1992
• An analysis of loop checking mechanisms for logic programs
  Theoretical Computer Science, 1991