ioctl

Logic programming.

Logic programming

I'm going to collect a number of pointers and pages under here devoted to various aspects of logic programming.

At the moment, this is a little sparse, but things should improve quickly (work schedule permitting, of course).

Prolog interpreter in javascript

Yep, a hideous hack that's kind of got a life of its own these days.

The latest version of the interpreter can always be found at http://ioctl.org/logic/prolog-latest - which should be used for external references.

The history of the interpreter is now a separate document.