View Source Guesswork.KnowledgeBase.Collection (Guesswork v0.5.0)

Allows for the easy creation of Guesswork.KnowledgeBase by using the deffact/1, deffalsehood/1, and defrule/2 macros in modules that invoke use Guesswork.KnowledgeBase.Collection.

Currently, everything is stored in the module's functions using a Guesswork.KnowledgeBase.Collection.Store that is created at compile time. As such, the collection is not mutable.

Summary

Functions

deffact(relationship, args)

Adds a new Guesswork.Ast.Fact to the collection as a true fact using the supplied arguments. All arguments must concrete.

deffalsehood(relationship, args)

Adds a new Guesswork.Ast.Fact to the collection as a falsehood using the supplied arguments. All arguments must concrete.

defrule(name, args, expr)

Adds a new Guesswork.Ast.Rule to the collection.

Functions

deffact(relationship, args)

(macro)

Adds a new Guesswork.Ast.Fact to the collection as a true fact using the supplied arguments. All arguments must concrete.

deffalsehood(relationship, args)

(macro)

Adds a new Guesswork.Ast.Fact to the collection as a falsehood using the supplied arguments. All arguments must concrete.

defrule(name, args, expr)

(macro)

Adds a new Guesswork.Ast.Rule to the collection.