--- Mitchell N Charity mumbled on 2004-04-05 03.21.18 -0400 --- > Following up on two conversational threads (from tonight's social) > at once...
[Those who weren't at the social will be very confused as to why this is all relevant.] Also, some basic searching revealed Lambda-Prolog: <http://www.cse.psu.edu/~dale/lProlog/>. The fact that it, too, has something of a type system leads me to believe that language-support for first-class predicates in Prolog requires something of a type system (and this makes sense in my head---how else do you expect it to unify against a predicate?). -- Mike Burns [EMAIL PROTECTED] http://netgeek.ws _______________________________________________ Boston-pm mailing list [EMAIL PROTECTED] http://mail.pm.org/mailman/listinfo/boston-pm
