| Did you know ... | Search Documentation: |
| Profile for user dsp |
| Sec. 7 | There is no negation in SWI-Prolog's tabling. |
| Pack
tot: 1
| Version
(#older)
| Downloads
tot: 262
(#latest) | Rating
(#votes/
#comments) | Title |
|---|---|---|---|---|
| scasp | 1.1.432 | 26254 | Goal directed ASP solver |