I'm doing some offline research on Reiter's GOLOG and came across hi assertion that he requires a "proper prolog interpreter". Since I'm going to be using JESS rather than a prolog interpreter for this bit of investigation, I was wondering if JESS actually does meet his requirement:
A proper Prolog interpreter is one that evaluates a negative literal not A, using negation-as-failure, and moreover, does so only when (at the time of evaluation) the atom A is ground. When A is not ground, the interpreter may suspend its evaluation, working on other literals until (with luck) A does become ground, or it may abort its computation. Either way, it never tries to fail on non-ground atoms Obviously, I'm way out of my league here if I don't know the answer to the question as to whether JESS satisfies this requirement, but I thought I'd get the answer from those who do know. Thanks.
