naga.lang.pabu — naga 0.1.0

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

Args clj

ast->axiom clj

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

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

Converts the axiom structure returned from the parser

ast->rule clj

(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

AxiomAST clj

ExpressionPredicate clj

PatternPredicate clj

Predicate clj

read-str clj

(read-str s)

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

Reads a string

read-stream clj

(read-stream in)

Inputs: [in :- InputStream] Returns: Program

Reads a input stream

RuleAST clj

structure clj

(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.

triplet clj

(triplet raw)

Inputs: [raw] Returns: Triple

Converts raw parsed predicate information into a single triple

triplets clj

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

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

Converts raw parsed predicate information into a seq of triples

VK clj

Either a Variable or a Keyword