bimbart@kulcs.uucp (Bart Demoen) (03/08/88)
I want to say some things about destructive assignment (and my replaca/3): 1. when I brought it in into the theorem prover of R. Overbeek, my aim was to disprove R. Overbeek's claim that the lack of destructive assignment kills the performance of his theorem prover when written in prolog; I think I succeeded in this 2. the name replaca/3 was meant as a joke; but also it means 'replace-argument' and it has indeed nothing to do with destructive list predicates 3. on this subject, I almost agree with R. O'Keefe; I'll paraphrase him: "Look, if you want to use destructive operations, please don't use Prolog" Are Tim Lindholm's improvements to the program, Quintus proprietary ? Can you give us some clues ? Thanks.