Adding prolog to Disco