clp

7calore

1risposta

Come convalidare la commutatività che coinvolge il vincolo dif/2?

C'è molto hype attorno al vincolo dif/2, specialmente come salvataggio per alcune non dichiaratività di (\ =)/2 e (\ ==)/2. Questa non dichiaratività è spesso caratterizzata come non monotonicità e ve

prolog prolog-dif clp 2016-06-27

---