prolog2paiprolog.lisp 14.4 KB