Name | Modified | Size | Downloads / Week |
---|---|---|---|
Parent folder | |||
README | 2016-01-13 | 408 Bytes | |
sasp-1.0.2.tar.gz | 2016-01-13 | 220.0 kB | |
sasp-1.0.2.zip | 2016-01-13 | 236.5 kB | |
Totals: 3 Items | 456.9 kB | 0 |
s(ASP) 1.0.2: January 12, 2016 - Added built-in predicates for write/1, writef/2 and nl/0. - Fixed major bug related to coinductive failure checking. - Fixed several bugs related to quoted strings. s(ASP) 1.0.1: November 29, 2015 - Fixed bug where multiple underscore variables in a clause were treated as the same variable. - Cleaned up debugging output. s(ASP) 1.0.0: September 15, 2015 - Initial release.