EQLog(ID:1222/eql003)

OBJ2 plus logic programming based on Horn logic with equality.
References:
  • Goguen, J. A. and Meseguer, J. "Equality, Types, Modules, and (why not?) Generics for Logic Programming" pp179-210 view details
          in Journal of Logic Programming view details
  • Middelburg, C. A. "PROLOG: programming in logic?" view details
          in Informatie 26(11) Nov 1984 view details
  • Goguen, Joseph and Meseguer, José "EQLog: Equality, Types and Generic Modules for Logic Programming" pp295-363 view details
          in DeGroot, Doug; Lindstrom, Gary (Eds.): Logic Programming: Functions, Relations, and Equations. Prentice-Hall, 1986 view details