package forester
A tool for tending mathematical forests
Install
Dune Dependency
Authors
Maintainers
Sources
5.0.tar.gz
md5=24f4aed96a8b8af33aba13fba66f1b37
sha512=d36b896aca11858bb4a00fc704c16cc27a1f197bdb3e479d6132fd70f70d67d7158096285cb0b6fb00db14417f0f822cc27fe65d82f0971e42378fd8271ce573
doc/src/forester.core/Builtin_relation.ml.html
Source file Builtin_relation.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52(* * SPDX-FileCopyrightText: 2024 The Forester Project Contributors * * SPDX-License-Identifier: GPL-3.0-or-later *) let make_builtin name = "org.forester.rel." ^ name let links_to = make_builtin "links-to" let transcludes = make_builtin "transcludes" let = make_builtin "authored-by" let has_taxon = make_builtin "has-taxon" let has_tag = make_builtin "has-tag" let is_node = make_builtin "is-node" let is_asset = make_builtin "is-asset" let is_article = make_builtin "is-article" let in_host = make_builtin "in-host" let transcludes_rtc = make_builtin "transcludes.reflexive-transitive-closure" let transcludes_tc = make_builtin "transcludes.transitive-closure" let references = make_builtin "references" let is_reference = make_builtin "is-reference" let is_person = make_builtin "is-person" let has_direct_contributor = make_builtin "has-direct-contributor" let has_indirect_contributor = make_builtin "has-indirect-contributor" module Dx = Datalog_expr open Dx.Notation let reference_taxon : Vertex.t Dx.term = Const (Content_vertex (Content [Text "Reference"])) let person_taxon : Vertex.t Dx.term = Const (Content_vertex (Content [Text "Person"])) let axioms : _ Dx.script = [ is_reference @* [var "X"] << [has_taxon @* [var "X"; reference_taxon]]; is_person @* [var "X"] << [has_taxon @* [var "X"; person_taxon]]; transcludes_tc @* [var "X"; var "Y"] << [transcludes @* [var "X"; var "Y"]]; transcludes_tc @* [var "X"; var "Z"] << [transcludes_tc @* [var "X"; var "Y"]; transcludes @* [var "Y"; var "Z"]]; transcludes_rtc @* [var "X"; var "X"] << [is_node @* [var "X"]]; transcludes_rtc @* [var "X"; var "Y"] << [transcludes_tc @* [var "X"; var "Y"]]; references @* [var "X"; var "Z"] << [ transcludes_rtc @* [var "X"; var "Y"]; links_to @* [var "Y"; var "Z"]; is_reference @* [var "Z"] ]; has_direct_contributor @* [var "X"; var "Y"] << [has_author @* [var "X"; var "Y"]]; has_indirect_contributor @* [var "X"; var "Z"] << [transcludes_rtc @* [var "X"; var "Y"]; has_direct_contributor @* [var "Y"; var "Z"]]; ]