lmprolog 868442 lm-prolog lmprolog 55367 lm-prolog/experimental lmprolog 307113 lm-prolog/kernel lmprolog 104256 lm-prolog/library lmprolog 231253 lm-prolog/man lmprolog 101776 lm-prolog/predicates lmprolog 31632 lm-prolog/ulambda