Module Reasoner.Clause

module Clause: sig .. end

type t = {

	`head : Reasoner.term;`
	`body : Reasoner.term list;`

}

val rule : Reasoner.term -> Reasoner.term list -> t

Build a rule.
Raises Error if the rule is unsafe, i.e. if some free variables occur in the consequence but not in the body

val fact : Reasoner.term -> t

fact t is a shortcut for rule t []

val is_fact : t -> bool

include Interfaces.PRINT

include Interfaces.HASH

include Interfaces.ORD

module Seq: sig .. end