* 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' ); > > How would one assert facts and rules in Perl6? How would one > know that a variable is a logic variable and not a normal one?
Don’t forget that in Perl 6, the parser grammar is wide open for modification. That is not an opportunity to be used lightly, but I believe logic programming is a sufficiently “big” and distinct extension that it justifies dedicated syntax. Regards, -- Aristotle Pagaltzis // <http://plasmasturm.org/>