- 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 hypothetical
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
Larry pointed out that this topic is better suited for perl6-language instead
of perl6-users, so I'm forwarding this along. Feel free to exercise your
delete key.
Cheers,
Ovid
-- If this message is a response to a question on a mailing list, please send
follow up questions to the list.
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,