Liking cljdoc? Tell your friends :D

naga.lang.pabu

Implements Pabu, which is a Prolog-like language for Naga. Parses code and returns Naga rules.

Implements Pabu, which is a Prolog-like language for Naga.  Parses code and returns Naga rules.
raw docstring

Argsclj/s

source

ast->axiomclj/s

(ast->axiom {axiom :axiom :as axiom-ast})

Inputs: [{axiom :axiom, :as axiom-ast} :- AxiomAST] Returns: Axiom

Converts the axiom structure returned from the parser

Inputs: [{axiom :axiom, :as axiom-ast} :- AxiomAST]
Returns: Axiom

Converts the axiom structure returned from the parser
sourceraw docstring

ast->ruleclj/s

(ast->rule {:keys [head body] :as rule-ast})

Inputs: [{:keys [head body], :as rule-ast} :- RuleAST] Returns: Rule

Converts the rule structure returned from the parser

Inputs: [{:keys [head body], :as rule-ast} :- RuleAST]
Returns: Rule

Converts the rule structure returned from the parser
sourceraw docstring

AxiomASTclj/s

source

builtin-labelsclj/s

source

builtinsclj/s

source

ExpressionPredicateclj/s

source

filter->stringclj/s

(filter->string [p])

Inputs: [[p] :- FilterPattern] Returns: s/Str

Inputs: [[p] :- FilterPattern]
Returns: s/Str
sourceraw docstring

not-data-property?clj/s

(not-data-property? k)

Inputs: [k]

Inputs: [k]
sourceraw docstring

pattern->stringclj/s

(pattern->string p)

Inputs: [p :- Pattern] Returns: s/Str

Inputs: [p :- Pattern]
Returns: s/Str
sourceraw docstring

PatternPredicateclj/s

source

Predicateclj/s

source

predicate->stringclj/s

(predicate->string epv)

Inputs: [epv :- EPVPattern] Returns: s/Str

Inputs: [epv :- EPVPattern]
Returns: s/Str
sourceraw docstring

property-namespacesclj/s

Set of namespaces that refer to data properties and never to functions

Set of namespaces that refer to data properties and never to functions
sourceraw docstring

psclj/s

(ps e)
source

read-strclj/s

(read-str s)

Inputs: [s :- s/Str] Returns: {:rules [Rule], :axioms [Axiom]}

Reads a string

Inputs: [s :- s/Str]
Returns: {:rules [Rule], :axioms [Axiom]}

Reads a string
sourceraw docstring

read-streamclj

(read-stream in)

Inputs: [in :- InputStream] Returns: Program

Reads a input stream

Inputs: [in :- InputStream]
Returns: Program

Reads a input stream
sourceraw docstring

rule->strclj/s≠

clj
(rule->str rule)
(rule->str {:keys [head body name] :as rule} include-name?)
cljs
(rule->str G__4973)
(rule->str G__4977 G__4978)

Inputs: ([rule :- Rule] [{:keys [head body name], :as rule} :- Rule include-name? :- s/Bool]) Returns: s/Str

Creates a textual representation for the rule

Inputs: ([rule :- Rule] [{:keys [head body name], :as rule} :- Rule include-name? :- s/Bool])
Returns: s/Str

Creates a textual representation for the rule
sourceraw docstring

RuleASTclj/s

source

structureclj/s

(structure ast-data)

Converts the AST for a structure into either a seq of triplets or predicates. Types are intentionally loose, since it's either a pair or a list.

Converts the AST for a structure into either a seq of triplets or predicates.
Types are intentionally loose, since it's either a pair or a list.
sourceraw docstring

tripletclj/s

(triplet raw)

Inputs: [raw] Returns: Triple

Converts raw parsed predicate information into a single triple

Inputs: [raw]
Returns: Triple

Converts raw parsed predicate information into a single triple
sourceraw docstring

tripletsclj/s

(triplets [property [s o :as args]])

Inputs: [[property [s o :as args]]] Returns: [Triple]

Converts raw parsed predicate information into a seq of triples

Inputs: [[property [s o :as args]]]
Returns: [Triple]

Converts raw parsed predicate information into a seq of triples
sourceraw docstring

VKclj/s

Either a Variable or a Keyword

Either a Variable or a Keyword
sourceraw docstring

cljdoc is a website building & hosting documentation for Clojure/Script libraries

× close