Added a Prolog module