Uses of Class
edu.harvard.seas.pl.abcdatalog.engine.topdown.AdornedPredicateSym
Packages that use AdornedPredicateSym
Package
Description
This package contains implementations of standard top-down Datalog evaluation algorithms.
-
Uses of AdornedPredicateSym in edu.harvard.seas.pl.abcdatalog.engine.topdown
Methods in edu.harvard.seas.pl.abcdatalog.engine.topdown that return AdornedPredicateSymConstructors in edu.harvard.seas.pl.abcdatalog.engine.topdown with parameters of type AdornedPredicateSymModifierConstructorDescriptionAdornedAtom
(AdornedPredicateSym pred, Term[] args) Constructs an adorned atom with the given predicate symbol and arguments.