prolog2paiprolog.lisp 14 KB