Did you know ... | Search Documentation: |
Profile for user N K |
doc-needs-help |
"The *icon* indicates the called predicate is a normal user-defined predicate." ... | |
"B is not listed as this variable is unbound." There is no B variable in the cod ... |
Pack
tot: 1
| Version
(#older)
| Downloads
tot: 142
(#latest) | Rating
(#votes/
#comments) | Title |
---|---|---|---|---|
scasp | 1.1.430 | 1428 | Goal directed ASP solver |