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: 173
(#latest) | Rating
(#votes/
#comments) | Title |
---|---|---|---|---|
scasp | 1.1.431 | 17322 | Goal directed ASP solver |