Predicates

Predicate{N}

The abstract supertype of predicates.

evaluate(p::Predicate, args...)

Evaluate a predicate for given arguments.

Input

• p – predicate
• args – argument list

Output

A Bool corresponding to the evaluation of p(args).

Notes

We offer p(args) as a short-hand version of evaluate(p, args).

Atom{N, T} <: Predicate{N}

An atomic predicate of arity N.

Fields

• p – Julia predicate

Negation{N, T<:Predicate{N}} <: Predicate{N}

A negation of a predicate of arity N.

Fields

• p – predicate

Conjunction{N, VT<:AbstractVector{<:Tuple{<:Predicate, <:AbstractVector{Int}}}} <: Predicate{N}

A conjunction of predicates of arity N.

Fields

• conjuncts – vector of conjuncts

Disjunction{N, VT<:AbstractVector{<:Tuple{<:Predicate, <:AbstractVector{Int}}}} <: Predicate{N}

A disjunction of predicates of arity N.

Fields

• disjuncts – vector of disjuncts