Used together with:
set
(1)
direct
(1)
solver
(1)
answer
(1)
goal
(1)
Stem
galliwasp$ (
all stems
)
1 papers:
LOPSTR-2012-MarpleG
#named
#set
Galliwasp: A Goal-Directed Answer Set Solver (
KM
,
GG
), pp. 122–136.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.