SLOG(ID:746/slo001)

Logic programming 

Logic programming language based on clausal superposition and rewriting
References:
  • Fribourg, Laurent "Oriented equational clauses as a programming language" pp165-177 view details
          in Journal of Logic Programming 1(2) Aug 1984 view details
  • Fribourg. L. "SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting" view details
          in Proc. IEEE Internat. Symposium on Logic Programming, Boston, 1985. view details