Add Prolog interaction to ClioPatria