This is an archive of an inactive wiki and cannot be modified.

RIF Core must cover pure Prolog

Full Statement

It must be straight-forward to convert the syntactic structures of any Pure Prolog ruleset into RIF Core and to convert them back again, ending up with the same thing.

Position in DC structure

Dependencies

tbd

Motivation

Pure Prolog is a widely-studied and widely-implemented rule language. It is a language of definite (positive) Horn clauses, and so falls within the Phase 1 scope (RIF Core). It will allow people to experiment with using RIF among a wide variety of common rule systems.

Urgency

Champions

SandroHawke, IgorMozetic, JosDeRoo