Online Prolog Compiler