org.jpc.engine.embedded

Class Rule

java.lang.Object

org.jpc.engine.embedded.Clause

org.jpc.engine.embedded.Rule

All Implemented Interfaces:

Comparable<Clause>

public class Rule
extends Clause

A rule in the embedded JPC engine.

Author:

sergioc

Constructor Summary

Constructors

Constructor and Description
Rule(Term head, List<Term> body, Environment env)

Method Summary

Methods inherited from class org.jpc.engine.embedded.Clause

checkClauseHead, compareTo, equals, getHead, getId, hashCode

Methods inherited from class java.lang.Object

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

Constructor Detail

Rule

public Rule(Term head,
            List<Term> body,
            Environment env)