SLOG: A logic interpreter for equational clauses

  • Laurent Fribourg
Systems Demonstrations
Part of the Lecture Notes in Computer Science book series (LNCS, volume 247)


  1. [1]
    Fribourg L., "Oriented Equational Clauses as a Programming Language", J. Logic Programming 1:2, August 1984, pp. 165–177.Google Scholar
  2. [2]
    Fribourg L., "SLOG: A Logic Programming Interpreter Based on Clausal Suerposition and Rewriting", IEEE Symp. on Logic Programming, Boston, July 1985, pp. 172–184.Google Scholar
  3. [3]
    Fribourg L., Holvoet Y., Mauboussin A., Vargenau M.E., "SLOG 1.1: User's Manual", Technical Report, Laboratoires de Marcoussis, 1986.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Laurent Fribourg
    • 1
    • 2
  1. 1.L.I.E.N.S., 45 rue d'UlmParisFrance
  2. 2.Laboratories de Marcoussis, Route de NozayMarcoussisFrance

Personalised recommendations