Module `Dmc_datalog.Make`

Parameters

Signify : Dmc__.Dmc_rdf_signify.S

Signature

module Term : sig ... end

type predicate = string

module Atom : sig ... end

module Literal : sig ... end

module Clause : sig ... end

module DB : sig ... end

module Parser : sig ... end