Stem slg$ (all stems)

5 papers:

ICLP-2009-SwiftPP #incremental

Incremental Answer Completion in the SLG-WAM (TS, AMP, LMP), pp. 519–524.

PADL-2002-CastroSW #evaluation

Suspending and Resuming Computations in Engines for SLG Evaluation (LFC, TS, DSW), pp. 332–350.

ILPS-1994-RameshC #prolog

A Portable Method of Integrating SLG Resolution into Prolog Systems (RR, WC), pp. 618–632.

ILPS-1994-SwiftW #analysis #evaluation #source code

Analysis of SLG-WAM Evaluation of Definite Programs (TS, DSW), pp. 219–235.

ILPS-1994-SwiftW94a #automaton #source code

An Abstract Machine for SLG Resolution: Definite Programs (TS, DSW), pp. 633–652.