Comment Comment by chuchana I know it's not Prolog, but since you mention Lisp: have you checked out Screamer (https://nikodemus.github.io/screamer/)? parent chuchana 3 years ago
