References
Fribourg L., "Oriented Equational Clauses as a Programming Language", J. Logic Programming 1:2, August 1984, pp. 165–177.
Fribourg L., "SLOG: A Logic Programming Interpreter Based on Clausal Suerposition and Rewriting", IEEE Symp. on Logic Programming, Boston, July 1985, pp. 172–184.
Fribourg L., Holvoet Y., Mauboussin A., Vargenau M.E., "SLOG 1.1: User's Manual", Technical Report, Laboratoires de Marcoussis, 1986.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fribourg, L. (1987). SLOG: A logic interpreter for equational clauses. In: Brandenburg, F.J., Vidal-Naquet, G., Wirsing, M. (eds) STACS 87. STACS 1987. Lecture Notes in Computer Science, vol 247. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0039635
Download citation
DOI: https://doi.org/10.1007/BFb0039635
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-17219-2
Online ISBN: 978-3-540-47419-7
eBook Packages: Springer Book Archive