iso-prolog.scm 10.7 KB