S-SLD-resolution — An operational semantics for logic programs with external procedures

Publisher Website

1 January 1991

book chapter
Published by Springer Nature

p. 383-393
https://doi.org/10.1007/3-540-54444-5_114

Abstract

No abstract available

Keywords

This publication has 5 references indexed in Scilit:

Systematic semantic approximations of logic programs
Published by Springer Nature ,2005
Foundations of Equational Logic Programming
Published by Springer Nature ,1989
Constraint logic programming
Published by Association for Computing Machinery (ACM) ,1987
Relating logic programs and attribute grammars
The Journal of Logic Programming, 1985
A theory of complete logic programs with equality
The Journal of Logic Programming, 1984