Hi Hal, The man to ask might be Professor Gopal Gupta. He was one of the invited speakers at ORF 2008, and he specializes in logic programming, particularly with Prolog.
Here's his current contact info page: http://www.utdallas.edu/~gupta/ Hope this helps! Cheers, Jason On Mon, Nov 3, 2008 at 5:58 PM, Hal Hildebrand <[EMAIL PROTECTED]>wrote: > 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. > -- ----------------------------------------------------------- Morris Technical Solutions LLC [EMAIL PROTECTED] (517) 304-5883
