Did you know ... | Search Documentation: |
Profile for user Dragan Ivanovic |
unifiable/3 | Hi, when running a very classical example of rational tree unification, I get th ... |
Pack
tot: 1
| Version
(#older)
| Downloads
tot: 147
(#latest) | Rating
(#votes/
#comments) | Title |
---|---|---|---|---|
scasp | 1.1.431 | 1471 | Goal directed ASP solver |