Keyword : SLDNF resolution with infinite failure

A Combination of SLDNF Resolution with Narrowing for General Logic Programs with Equations with Respect to Extended Well-Founded Model
Susumu YAMASAKI Kazunori IRIYA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1999/10/25
Vol. E82-D  No. 10 ; pp. 1303-1315
Type of Manuscript:  PAPER
Category: Automata,Languages and Theory of Computing
SLDNF resolution with infinite failurenarrowingwell-founded model
 Summary | Full Text:PDF