package forester

  1. Overview
  2. Docs
package forester
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Forester_core.Datalog_engineSource

Sourcetype relation = string
Sourcetype vertex = Vertex.t
Sourcetype term
Sourcetype literal
Sourcetype clause
Sourcetype var
Sourceval var_of_string : string -> var
Sourceval mk_var : var -> term
Sourceval mk_const : vertex -> term
Sourceval mk_literal : relation -> term list -> literal
Sourceval mk_clause : literal -> literal list -> clause
Sourcetype db
Sourceval db_create : unit -> db
Sourceval db_add_fact : db -> literal -> unit
Sourceval db_add : db -> clause -> unit
Sourcetype answers
Sourceval list_of_answers : answers -> vertex array list
Sourceval ask : db -> ?neg:literal list -> var array -> literal list -> answers