4 ms·

Same with Homebrew. $ brew info clasp clasp: stable 3.1.3 (bottled) Answer set solver for (extended) normal logic programs http://potassco.sour

• zuzun 11y ago
  No, it wouldn't. The program is called clasp. Renaming it to potassco is like renaming Microsoft Excel to Microsoft Office. It's also years older than the LISP clasp. And finally, the program is an amazing piece of technology and state-of-the-art in its scientific field.
  • lispm 11y ago
    There are already several other Lisp projects called CLASP ;-) : For example... http://www.cs.cmu.edu/Groups/AI/util/lang/lisp/code/math/clasp/0.html 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 https://doaj.org/article/6a656a29acba4a748a65f20bff63721b Or a production system from 1991: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=79709 http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7... Or a reasoning engine in Lisp: http://www.researchgate.net/publication/221393440_Towards_the_Systematic_Development_of_Description_Logic_Reasoners_CLASP_Reconstructed http://www.researchgate.net/publication/221393440_Towards_th...