- Original Message
> From: Brad Bowman <[EMAIL PROTECTED]>
>
> "let" variables and "hypothetical" assignments within rules may be a
> good starting point.
Hi Brad,
Caveat: I'm also tremendously underqualified to to make serious proposals here.
Interesting idea. As I understand hypoth
Hi,
I used AI::Prolog once briefly, and that's the extent of my logic programming
knowledge. There do seem to be a few Perl 6 features that may be useful for
logic programming, although I'm not really qualified to judge.
How would one assert facts and rules in Perl6? How would one know
that a
From a language standpoint, I think this is a great solution. As Jonathan
suggests, have a default knowledge base that is referenced by default, with
the option to declare more knowledgebases. Each one can have facts set and
queries exectued seperately. I have only a passing knowledge of Prolog,
Hmm...
How about this:
Treat each knowledge base as an object, with at least two methods:
.fact() takes the argument list and constructs a prolog-like fact or
rule out of it, which then gets added to the knowledge base.
.query() takes the argument list, constructs a prolog-like query out
of it,