2 ms·
For anyone who takes him up on his Datalog suggestion, this (http://www.ccs.neu.edu/home/ramsdell/tools/datalog/datalog.html http://www.ccs.neu.edu/home/ramsdel
by silentbicycle 15y ago
For anyone who takes him up on his Datalog suggestion, this (http://www.ccs.neu.edu/home/ramsdell/tools/datalog/datalog.html http://www.ccs.neu.edu/home/ramsdell/tools/datalog/datalog.h...) is a pretty good standalone implementation. Free (LGPL), in a mix of C and Lua.
For Prolog, try GProlog (http://www.gprolog.org/ http://www.gprolog.org/) - it has good constraint programming support.
- pnathan 15y agoMercury is a modern logic language. It takes the statically typed approach http://www.mercury.csse.unimelb.edu.au/ http://www.mercury.csse.unimelb.edu.au/
- silentbicycle 15y agoOr, learn both! Mercury will teach you different things than Prolog. (I've read about Mercury, but never really used it. I'm most interested in constraint programming, which doesn't seem to be part of it.)