Did you know ... | Search Documentation: |
Profile for user ktp |
Sec. A.16 | according to the description *is_of_type/2* and *has_type/2* are identical, but ... |
Hello! I suggest changing the 'load_test_files / 1' function in the 'plunit' lib ... |
Pack
tot: 1
| Version
(#older)
| Downloads
tot: 142
(#latest) | Rating
(#votes/
#comments) | Title |
---|---|---|---|---|
scasp | 1.1.430 | 1428 | Goal directed ASP solver |