gnu.prolog.demo