- 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,
* Ovid <[EMAIL PROTECTED]> [2006-05-25 20:45]:
> The first hurdle would be the syntax. The programmer just
> looking at the code would need to know when one section of code
> represents a snippet of logic programming. Is the following a
> function call or a Prolog fact?
>
> loves( 'foo', 'bar'
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,
ons to the list.
Web Programming with Perl -- http://users.easystreet.com/ovid/cgi_course/
- Forwarded Message
From: Ovid <[EMAIL PROTECTED]>
To: perl6-users@perl.org
Sent: Thursday, May 25, 2006 11:40:54 AM
Subject: Re: Logic Programming for Perl6 (Was Re: 3 Good Reasons... (typo
ale
- Original Message
From: David Romano <[EMAIL PROTECTED]>
> > duplicate results and this is almost always wrong. (See
> > http://use.perl.org/~Ovid/journal/28378
> > for an SQL example of this problem).
> I re-read your journal entry and comments (I had read it back when you
> first had
This topic may be better suited to perl6-language, unless you consider
its denizens to already be self-selected against logic programming. :)
Larry
Hi Ovid,
On 5/24/06, Ovid <[EMAIL PROTECTED]> wrote:
As an aside for those who, like me, wanted to see support for logic
programming: the only significant disappoinment I have with Perl6 is also,
oddly enough, accompanied by a sigh of relief. Perl6 will easily support
imperative, functional
