/src/reasoners/ @ addb56e3eb9d

name size
[up]
file prolog.lisp 5786