top | item 32807890 (no title) hakank | 3 years ago Well, most Prolog support clp(fd) (Constraint Logic Programming, Finite Domain) which mostly include support for minimizing/maximizing objectives. discuss order hn newest rad_gruchalski|3 years ago By unification, which will only match the arity, not the rules inside of a predicate. I could be wrong, though. Still learning all ins and outs.
rad_gruchalski|3 years ago By unification, which will only match the arity, not the rules inside of a predicate. I could be wrong, though. Still learning all ins and outs.
rad_gruchalski|3 years ago