cl-logic

https://github.com/jollheef/cl-logic.git

git clone 'https://github.com/jollheef/cl-logic.git'

(ql:quickload :cl-logic)
4

(78 111 116 32 70 111 117 110 100)