ok@quintus (09/10/88)
I find that I have inadvertantly misrepresented BIMprolog. (Though I _did_ warn you that I was using an old manual.) Yesterday I was at a demo of BIMprolog put on by Bert Shure and the Prolog Forum, and had the opportunity of studying a more recent BIM manual (printed on thick blue paper in the layout of a Sun manual). According to this newer manual, BIMprolog parses (if->then;else) as ((if->then);else), just like DEC-10 Prolog and C Prolog. Also, I had misunderstood mark(_) and cut(_): the system supplies the integer argument, not the programmer. I trust Bart Demoen will forgive me if I don't mention BIMprolog in the future: I don't want to be caught looking silly again. To quote "101 Zen Stories" #77: A person may appear a fool and yet not be one. He may only be guarding his wisdom carefully.