This is the mail archive of the
kawa@sources.redhat.com
mailing list for the Kawa project.
Schelog
- From: Jocelyn Paine <popx at ifs dot org dot uk>
- To: kawa at sources dot redhat dot com
- Date: Wed, 22 Jan 2003 00:13:28 +0000 (GMT)
- Subject: Schelog
Has anybody here tried Schelog (Prolog in
Scheme: http://www.ccs.neu.edu/home/dorai/schelog/schelog.html ), under
Kawa? I was wondering whether it works at all (the configuration file
doesn't indicate that it's ever been configured for Kawa) with Kawa's
restricted call/cc; and if it does work, is it efficient? I'm finding a
need for a database which can be efficiently queried by unification.
Jocelyn Paine
http://www.ifs.org.uk/~popx/
+44 (0)7768 534 091