Assets 2

This is a maintenance release.

  • The previous fix to the auth/1 problem was erroneous. Now fixed (see change log for details).

@EWurbel EWurbel released this Nov 29, 2017 · 2 commits to master since this release

Assets 2

Additions:

  • Now atoms can be grounded terms

Bugs:

  • in strong mode, only atoms from the knowledge bases of the profile give rise to exclusion rules with their auth/1 counterpart (the atoms only present in IC are ignored).

@EWurbel EWurbel released this Oct 17, 2017 · 3 commits to master since this release

Assets 2

No fancy evolutions ! Just some licence year bumping, and an example added to the documentation.

@EWurbel EWurbel released this Oct 17, 2017 · 5 commits to master since this release

Assets 2

This is the first public release of PLRSF, a software tool which performs syntactic merging of belief bases expressed using Answer Set Programming. See the documentation in the doc directory for details.