GAPLog

GAPLog

General Amalgamated Programming with Logic. LOGPRO group,Linkoping Sweden. A restricted version of constraint logic programming, using S-unification but not restricted to asingle domain.

[Chapter in forthcoming Springer book on ESPRIT]