gaplog

from The Free On-line Dictionary of Computing (8 July 2008)

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]