No, I understand that. It's just that what I've currently done hasn't
needed anything more than what JESS provides. I am taking a look at
CHR again, and looking to see what's under the hood and what the
capabilities are.
On Nov 5, 2008, at 5:17 AM, Peter Van Weert wrote:
Hal Hildebrand wrote:
Hal Hildebrand wrote:
> I had tried to take a look at CHR early on in my current project, but
> what I realized was that my particular problem wasn't so much handling
> constraints
Don't let the name fool you: CHR may have originally be designed to
solely handler constraints, it has grown to a pow
I had tried to take a look at CHR early on in my current project, but
what I realized was that my particular problem wasn't so much handling
constraints as it was creating dynamically adaptive, intelligent
workflows. So I didn't follow up on my initial interests. I'll take
another look at CHR no
Hal Hildebrand wrote:
> Thanks, this is helpful. The main issue I'm going to have with this
> is the implicit backward chaining in Prolog... Will have to do a lot
> more investigation to see if JESS is even suitable for these
> investigations.
Most current Prolog systems (including SICStus, SWI,
Thanks, this is helpful. The main issue I'm going to have with this
is the implicit backward chaining in Prolog... Will have to do a lot
more investigation to see if JESS is even suitable for these
investigations.
On Nov 4, 2008, at 12:24 AM, Gary Hallmark wrote:
Hal,
Jess' NOT CE does not i
Thanks, Peter. Your point about there not being a "proper" Prolog
interpreter according to that definition is shared by Reiter.
On Nov 4, 2008, at 12:23 AM, Peter Van Weert wrote:
Hal Hildebrand wrote:
I'm doing some offline research on Reiter's GOLOG and came across hi
assertion that he requ
Jason Morris wrote:
> 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.
Instead of personally addressing one Prolog specialist, why not try the
comp.lang.prolog newsgrou
Hal,
Jess' NOT CE does not implement NAF. It implements "inflationary
negation" semantics. Consider:
if not(P(1)) then print("fail.").
if P(0) then P(1).
P(0).
Prolog will never fail. Jess may fail, depending on conflict resolution.
Jess semantics is the usual semantics for production rules
Hal Hildebrand 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 h
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 a
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 Pro
11 matches
Mail list logo
