clp

7गर्मी

1उत्तर

dif/2 बाधा शामिल कम्यूटेटिविटी को कैसे सत्यापित करें?

dif/2 बाधा के आसपास बहुत प्रचार है, विशेष रूप से कुछ गैर-घोषणा (\ =)/2 और (\ ==)/2 के लिए एक बचाव के रूप में। इस गैर-घोषणात्मकता को अक्सर गैर-monotonicity के रूप में चिह्नित किया जाता है और गैर-सांप्र

prolog prolog-dif clp 2016-06-27

---