You are here: irt.org | FOLDOC | EQLog
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.
Nearby terms: EPSS « EqL « EQLOG « EQLog » Eqn » equals » equational logic
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL