CIFFWEB

A prototype tool for specification, verification and repair of web sites via Abductive Logic Programs

Click below to download the prototype version of CIFFWeb a prototype tool specification, verification and repair of web sites via Abductive Logic Programs. The tool is composed of a enhanced version of the CIFF System 4.0 and a JAVA translator from Web Checking Rules written in Xcerpt-like syntax to ALP programs. See below to check the SICStus Prolog versions required by the CIFF 4.0 System.

The CIFF Abductive Proof Procedure

Click below to download the CIFF System 4.0 for Abductive Logic Programming with Constraints. It works under Sicstus Prolog 3.12.x versions. It should work also under Sicstus Prolog 3.11.2 but it should NOT work under Sicstus Prolog 4.x versions due to the changes done by SICStus in both syntax ans semantics of some built-in predicates.

Up to CIFF System 3.0 the main implementor was Ulle Endriss helped by Markos Hatzitaskos for the development of some CIFF modules. With respect to version 4.0, version 3.0 is less focused on efficiency but it has a GUI which needs Tcl/Tk libraries installed. Click below to download the CIFF System 3.0 (also downloadable clicking here).

Publications