6 ms·

There is already a Clasp in Debian, but its something else: https://packages.debian.org/sid/clasp https://packages.debian.org/sid/clasp

Flow 11y ago
Same with Homebrew. $ 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.
- 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...
once-in-a-while 11y ago
Since they invented capital letters already, they do spell differently! The debian package is "clasp", not "Clasp".
- edwintorok 11y ago
  Uppercase letters are not permitted in Debian package names according to the policy: https://www.debian.org/doc/debian-policy/ch-controlfields.html#s-f-Source https://www.debian.org/doc/debian-policy/ch-controlfields.ht...
drmeister 11y ago
I think for naming purposes we should go with "cclasp" as the name.

Flow 11y ago

Same with Homebrew. $ 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.

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...

once-in-a-while 11y ago

Since they invented capital letters already, they do spell differently! The debian package is "clasp", not "Clasp".

edwintorok 11y ago
Uppercase letters are not permitted in Debian package names according to the policy: https://www.debian.org/doc/debian-policy/ch-controlfields.html#s-f-Source https://www.debian.org/doc/debian-policy/ch-controlfields.ht...

drmeister 11y ago

I think for naming purposes we should go with "cclasp" as the name.