Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

EQLog

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

©2018 Martin Webb