Ollibot

Ollibot is an implementation of the ordered logic programming language described in Pfenning & Simmons's 2009 LICS paper "Substructural operational semantics as ordered logic programming." It can be downloaded here. It requires SML of New Jersey and MLton to compile.

Ollibot 0.1 has a web server that outputs the files from the examples directory as HTML. Therefore, the HTML-formatted output of the ollibot examples directory can be browsed here.