Program parser in Prolog, plus compatible Hello source.