Did you know ... | Search Documentation: |
![]() | Profile for user ÐндÑей Ðеважн |
Sec. 5.3.3 | display is deprecated! New code must use write_term/3 using the option ignore_op ... |
Pack
tot: 1
| Version
(#older)
| Downloads
tot: 56
(#latest) | Rating
(#votes/
#comments) | Title |
---|---|---|---|---|
scasp | 0.9.015 | 569 | Goal directed ASP solver |