====== Logic programming ======
===== Abductive reasoning tools =====
  * 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.

==== SCIFF ====
  * http://lia.deis.unibo.it/research/sciff/
  * Using SICStus4



====== - Prolog Primer ======
  * http://www.david-reitter.com/compling/prolog/compare.html
  * https://en.wikipedia.org/wiki/Comparison_of_Prolog_implementations

===== Installation =====
  * linux pl package

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

===== SCIFF =====
  * http://lia.deis.unibo.it/research/sciff/userman.html

==== Create project: ====
    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’).

==== Running: ====

<code>
 cd sciff/
 swipl
 compile(sciff)
 project(policytranslation).
 
</code>

==== Futher ====
  * http://lia.deis.unibo.it/research/sciff/userman.html