A Combination of SLDNF Resolution with Narrowing for General Logic Programs with Equations with Respect to Extended Well-Founded Model Susumu YAMASAKIKazunori IRIYA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1999/10/25 Vol. E82-DNo. 10 ;
pp. 1303-1315 Type of Manuscript: PAPER Category: Automata,Languages and Theory of Computing Keyword: SLDNF resolution with infinite failure, narrowing, well-founded model,
Sequence Domains and Fixpoint Semantics for Logic Programs Susumu YAMASAKI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1996/06/25 Vol. E79-DNo. 6 ;
pp. 840-854 Type of Manuscript: PAPER Category: Software Theory Keyword: logic program, fixpoint theory, narrowing, semantics, domain theory,