There is already a Clasp in Debian, but its something else: https://packages.debian.org/sid/clasp
$ brew info clasp
clasp: stable 3.1.3 (bottled)
Answer set solver for (extended) normal logic programs
http://potassco.sourceforge.net/
Would be great to rename this recipe to potassco instead.http://www.cs.cmu.edu/Groups/AI/util/lang/lisp/code/math/cla...
'Common Lisp Analytical Statistics Package'
Early 90s...
Or a simulator for electronic circuits in Common Lisp:
https://doaj.org/article/6a656a29acba4a748a65f20bff63721b
Or a production system from 1991:
http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7...
Or a reasoning engine in Lisp:
http://www.researchgate.net/publication/221393440_Towards_th...