| Did you know ... | Search Documentation: |
| Profile for user Javier Alvez |
| bagof/3 | Fresh variables are created in reverse order (according to the default order cri ... |
| sort/2 | Is there any predicate for sorting difference lists? |
| Pack
tot: 1
| Version
(#older)
| Downloads
tot: 261
(#latest) | Rating
(#votes/
#comments) | Title |
|---|---|---|---|---|
| scasp | 1.1.432 | 26154 | Goal directed ASP solver |