/swish/pack/sCASP/prolog/scasp/clp/disequality.pl
All Application Manual Name SummaryHelp

  • scasp
    • clp
      • call_stack.pl -- Call stack constraint solver
      • disequality.pl -- Constraint solver for disequalities
        • .=./2
        • .\=./2
        • not_unify/2
        • loop_term/2
        • ∉/2
      • clpq.pl -- Extension of the constraint solver CLP(Q)
 loop_term(+Goal1, +Goal2)