Entailment reasoning modules

The ClioPatria system can deal with pluggable `entailment reasoners'. Each reasoner must export the predicate rdf/3. This predicate must be a `pure' predicate: it must accept any instantiation and it must return consistent results, regardless of the instantiation.

New entailment modules can be added to load.pl

The user can use the entailment modules for application reasoning by importing the desired entailment module:

:- use_module(entailment(rdfs_lite)).

    ...,
    rdf(S, rdf:type, rdfs:'Class'),

Prolog files

none.pl  -- Empty RDF entailment module
rdf.pl  -- RDFS-Lite entailment
rdf/4
rdfs.pl  -- RDFS entailment
rdfs_lite.pl  -- RDFS-Lite entailment