H ? « ‹ ← → › »

Language peer sets for SLOG:
Designed 1985 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑
Specialised Languages ↑
Specialised Languages/1985↑

SLOG(ID:746/slo001)

Logic programming 

alternate simple view
Designed 1985
Published: 1985
Sammet category: Specialised Languages

Logic programming language based on clausal superposition and rewriting
References:
  • Fribourg, Laurent (1984) Fribourg, Laurent "Oriented equational clauses as a programming language" pp165-177
          in (1984) Journal of Logic Programming 1(2) Aug 1984
  • Fribourg. L. (1985) Fribourg. L. "SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting"
          in Proc. (1985) Proc. IEEE Internat. Symposium on Logic Programming, Boston, 1985.
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder