Mike Brady

Prolog interpreter, Edinburgh-syntax Prolog