https://github.com/quek/paiprolog
git clone 'https://github.com/quek/paiprolog' (ql:quickload :paiprolog)
NIL