The main application SCIFF was developed for is to verify the compliance of agent to interaction protocols. In order to allow such application, SCIFF extends IFF in several respects:
Abducibles represent hypotheses about agent behaviour;
SCIFF deals with the concept of fulfillment, i.e., the correspondence of abduced atoms with events recorded in a history
CLP constraints can be imposed over variables;
SCIFF deals with existentially quantified variables in integrity constraints.
SCIFF is under active development. Choose your favourite version:
- SCIFF for SICStus 3. This version was tested with SICStus versions from 3.9 to 3.12, on Windows XP, Slackware Linux, and MacOS.
- SCIFF for SICStus 4/SWI. This version works with SICStus versions 4 and following, and with SWI Prolog. Was tested on Ubuntu Linux, Windows XP, Vista, and MacOS.
The development of SCIFF for SICStus 3 will be abandoned in the future, however, please contact us if you find any bug. SCIFF for SICStus 4 is usually faster, however there are applications in which the old version is faster.
The versions available on this web site do not provide a Graphical User Interface, however, you can download the SCIFF editor: an Eclipse plugin for SCIFF.
Unzip the archive in a directory of your choice.
See the SCIFF User's Manual for instructions on how to use it.
The SCIFF editor is an IDE, based on Eclipse, for SCIFF.
If you have questions about SCIFF, or want to signal a bug, you can contact one of the developers
This work is partially funded by the Information Society Technologies programme of the European Commission, Future and Emerging Technologies under the IST-2001-32530 SOCS project, within the Global Computing proactive initiative.
[FK97] Tze Ho Fung, Robert A. Kowalski:
The IFF Proof Procedure for Abductive Logic Programming. Journal
of Logic Programming 33(2): 151-165 (1997).