资料来源 : Free On-Line Dictionary of Computing

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]