H ? « ‹ ← → › »

Language peer sets for EQLog:
Designed 1986 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

EQLog(ID:1222/eql003)

alternate simple view
Designed 1986
Published: 1986

OBJ2 plus logic programming based on Horn logic with equality.
References:
  • Goguen, J. A. and Meseguer, J. (1984) Goguen, J. A. and Meseguer, J. "Equality, Types, Modules, and (why not?) Generics for Logic Programming" pp179-210
          in (0) Journal of Logic Programming
  • Middelburg, C. A. (1984) Middelburg, C. A. "PROLOG: programming in logic?"
          in (1984) Informatie 26(11) Nov 1984
  • Goguen, Joseph and Meseguer, José (1986) Goguen, Joseph and Meseguer, José "EQLog: Equality, Types and Generic Modules for Logic Programming" pp295-363
          in DeGroot, Doug; Lindstrom, Gary (Eds.): Logic Prog (1986) DeGroot, Doug; Lindstrom, Gary (Eds.): Logic Programming: Functions, Relations, and Equations. Prentice-Hall, 1986
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder