Ollibot, an implementation of the ordered logic programming language described in Pfenning & Simmons's 2009 LICS paper, can be downloaded here. It requires SML of New Jersey and MLton to compile.
A cached version of the web output from the examples directory is available here, though this site may experience downtime due to the server being moved to a new location.