GAPLog
General Amalgamated Programming with Logic. {LOGPRO} group,
Linkoping Sweden. A restricted version of {constraint logic
programming}, using {S-unification} but not restricted to a
single domain.
[Chapter in forthcoming Springer book on ESPRIT]