Package edu.harvard.seas.pl.abcdatalog.ast
package edu.harvard.seas.pl.abcdatalog.ast
This packages contains classes representing the core abstract syntax tree for AbcDatalog. Many of
these classes support the visitor design pattern; see
edu.harvard.seas.pl.abcdatalog.ast.visitors.-
ClassDescriptionThis 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).The head of a clause.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 premise in the body of a clause.A Datalog term (i.e., a constant or variable).A utility class for common operations on terms.A Datalog variable.