Get the full sources of the original free BinProlog version 1.99 or its new pure Java port which runs at 1,300,000 inferences/sec.This tiny 1993 Prolog compiler compiles itself in less than 10 seconds, with either its C or Java based emulator. It gives a glimpse on BinProlog's internal architecture and its engine: the BinWam, described in the following papers:
http://logic.csci.unt.edu/tarau/research/BinPrologPapers
Link to related comp.lang.prolog discussion
How to participate: