Used together with:
abduct
(2)
program
(1)
procedur
(1)
normal
(1)
Stem
sldnfa$ (
all stems
)
1 papers:
JICSLP-1992-DeneckerS
#abduction
#named
#source code
SLDNFA: An Abductive Procedure for Normal Abductive Programs (
MD
,
DDS
), pp. 686–700.
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
.