package acgtk

module PredIdTable : 
  UtilsLib.IdGenerator.CorrespondanceTableTYPE
    with type identifier = pred_id
    with type table =
           Datalog_AbstractSyntax.AbstractSyntax.Predicate.PredIdTable.table

Sourcemodule PredIds : Set.S with type elt = pred_id

Sourcetype predicate = {

p_id : pred_id;
arity : int;
arguments : term list;
(*
It is assumed that the size of the list is the arity
*)

}

Source

val to_string : 
  predicate ->
  ?position:int ->
  PredIdTable.table ->
  Datalog_AbstractSyntax.ConstGen.Table.table ->
  string

Sourceval compare : predicate -> predicate -> int

Sourceval fake_pred_id : pred_id

package acgtk

Install

Dune Dependency

Authors

Maintainers

Sources

doc/acgtkLib.datalogLib/DatalogLib/Datalog/ASPred/index.html

Module Datalog.ASPredSource

Module `Datalog.ASPred`Source