The head of a clause.
A premise in the body of a clause.
A Datalog term (i.e., a constant or variable).
This premise explicitly disallows the unification of two terms and is represented by the operator
This premise explicitly unifies two terms and is visually represented as the operator
A clause consisting of a head and a body, the latter of which is a list of premises.
A zero-ary function symbol (i.e., a constant in Datalog).
A utility class for accessing the head of a clause.
A negated atom.
A non-negated atom; i.e., a predicate symbol, and a sequence of terms.
A basic predicate symbol in Datalog.
A utility class for common operations on terms.
A Datalog variable.
Copyright © 2021. All rights reserved.