| 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: 262 
(#latest)  | Rating
 (#votes/ 
#comments)  | Title | 
|---|---|---|---|---|
| scasp | 1.1.432 | 26254 | Goal directed ASP solver |