View Source Wongi.Engine.DSL (Wongi.Engine v0.9.8)
Rule definition functions.
Summary
Functions
Placeholder variable. Synonym for :_
.
A matcher that passes if any of the sub-chains passes.
A matcher that passes if the specified fact is present in the working memory.
Synonym for neg/3
.
A matcher that passes if the sub-chain does not pass.
A matcher that passes if the specified fact is not present in the working memory.
Synonym for ncc/1
.
Variable declaration.
Types
Functions
Placeholder variable. Synonym for :_
.
A matcher that passes if any of the sub-chains passes.
@spec fact(any(), any(), any(), [Wongi.Engine.DSL.Has.option()]) :: matcher()
@spec has(any(), any(), any(), [Wongi.Engine.DSL.Has.option()]) :: matcher()
A matcher that passes if the specified fact is present in the working memory.
Synonym for neg/3
.
A matcher that passes if the sub-chain does not pass.
A matcher that passes if the specified fact is not present in the working memory.
Synonym for ncc/1
.
@spec rule(atom(), [rule_option()]) :: rule()
@spec var(atom()) :: Wongi.Engine.DSL.Var.t()
Variable declaration.