H ?
«
‹
←
→
›
»
Language peer sets for EQLog: Designed 1986 ↑ 1980s languages ↑ Fifth generation↑ Late Cold War↑ EQLog(ID:1222/eql003)alternate simple viewDesigned 1986 Published: 1986 OBJ2 plus logic programming based on Horn logic with equality. References: in (0) Journal of Logic Programming in (1984) Informatie 26(11) Nov 1984 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 |