• A-system: To capture and solve the various conflicts, we base our technique on abductive and argumentation reasoning. We use an abductive constraints system, called A-system1 [23] for finding the various
  • http://dtai.cs.kuleuven.be/krr/Asystem/
• GorgiasB2: We use GorgiasB2 [9], a tool based on abductive and argumentation reasoning, which eas- ily accommodate the various policies and discover the conceptual conflicts.
  • http://gorgiasb.tuc.gr/
• http://www.inf.unibz.it/~montali/tools.html#jrec
  • jREC: EC Reasoner
  • CLIMB:
    • ConDec, graphical constraint-based langugage.
    • using SCIFF: a specification for abductive reasoning, similar to EC. ConDec can be translated to SCIFF or EC spec.

• http://lia.deis.unibo.it/research/sciff/
• Using SICStus4

• http://www.david-reitter.com/compling/prolog/compare.html
• https://en.wikipedia.org/wiki/Comparison_of_Prolog_implementations

• linux pl package

Quickstart:

• http://www.swi-prolog.org/pldoc/man?section=quickstart

• http://lia.deis.unibo.it/research/sciff/userman.html

  cd sciff_parent_dir
  mkdir policytranslation
  cp sciff/project.pl policytranslation
  vim policytranslation/project.pl
  # Insert the appropriate names in the facts ics_file/1, history_file/1, sokb_file/1. The facts ics_file/1, history_file/1, sokb_file/1 can contain either the path to a file, or the URL of the file; in the second case, SCIFF will download the file from the web. The URL should be given as an atomic term, i.e., with single quotes ’, and should begin with ’http:’. E.g., ics_file(’http://lia.deis.unibo.it/Research/sciff/ic.ruleml’).

 cd sciff/
 swipl
 compile(sciff)
 project(policytranslation).
 

• http://lia.deis.unibo.it/research/sciff/userman.html