4 ms·
I don't think so though I'm not totally sure. That paper isn't really about logic programming in general - no vars, no unification.
by swannodette 15y ago
I don't think so though I'm not totally sure. That paper isn't really about logic programming in general - no vars, no unification.
- cgrand-net 15y agoI think you're right and I had the stupids the other day: what this paper describes is simply your conde (né condi). No?