Package edu.harvard.seas.pl.abcdatalog.engine.bottomup

Class ClauseEvaluator

java.lang.Object

edu.harvard.seas.pl.abcdatalog.engine.bottomup.ClauseEvaluator

public class ClauseEvaluator
extends Object

This class provides a way to derive all the new facts that are derivable from a given rule, given an initial fact that unifies with the first atom in the body of the clause. It is the workhorse of the bottom-up evaluation engines.

Constructor Summary

Constructors

Constructor	Description
ClauseEvaluator(SemiNaiveClauseAnnotator.SemiNaiveClause cl, BiConsumer<PositiveAtom,ClauseSubstitution> newFact, BiFunction<AnnotatedAtom,ClauseSubstitution,Iterable<PositiveAtom>> getFacts)

Method Summary

Modifier and Type	Method	Description
void	evaluate(PositiveAtom newFact)
static void	main(String[] args)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ClauseEvaluator

public ClauseEvaluator(SemiNaiveClauseAnnotator.SemiNaiveClause cl,
 BiConsumer<PositiveAtom,ClauseSubstitution> newFact,
 BiFunction<AnnotatedAtom,ClauseSubstitution,Iterable<PositiveAtom>> getFacts)

Method Details

evaluate

public void evaluate(PositiveAtom newFact)

main

public static void main(String[] args)