/src/reasoners/ @ 533ee45e04e0

name size
[up]
file prolog.lisp 5786