Eqlog
Equality, types and generic modules for logic programming. A language using Horn clauses. J.A. Goguen, J. Meseguer.
OBJ2 plus logic programming based on Horn logic with equality.
“EQLog: Equality, Types and Generic Modules for Logic Programming”, J. Goguen et al in Functional and Logic Programming, D. DeGroot et al eds, pp.295-363, P-H 1986.
Read Also:
- Eqn
Language for typesetting mathematics. “A System for Typesetting Mathematics”, B.W. Kernighan and L.L. Cherry, CACM 18(3):151-157 (Mar 1975).
- Eqpt
1. . equipment (shortwave transmission)
- Eqq
equations
- Equ
Equuleus (constellation)
- Equability
[ek-wuh-buh l, ee-kwuh-] /ˈɛk wə bəl, ˈi kwə-/ adjective 1. free from many changes or variations; uniform: an equable climate; an equable temperament. 2. uniform in operation or effect, as laws. /ˈɛkwəbəl/ adjective 1. even-tempered; placid 2. unvarying; uniform: an equable climate n. 1530s, from Latin aequabilitas, from aequabilis (see equable). adj. 1670s, back-formation from […]