3 ms·
That’s neat. Is there a separate syntax for var to var assignment or are variables immutable in Prolog?
by thrwn_frthr_awy 6y ago
That’s neat. Is there a separate syntax for var to var assignment or are variables immutable in Prolog?
- nemetroid 6y agoVariables are immutable, but note that it's the contradiction that leads to the "false" response, there's no issue with the assignment itself: ?- FOO = 1, BAR = 1, FOO = BAR. FOO = BAR, BAR = 1.