org.dllearner.prolog
Class Clause

java.lang.Object
  org.dllearner.prolog.Clause

public class Clause
extends Object

Author:

Sebastian Bader

Constructor Summary

Clause(Atom head, Body body)

Method Summary

Body	getBody()
Atom	getHead()
Clause	getInstance(Variable variable, Term term)
boolean	isGround()
String	toPLString()
String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Clause

public Clause(Atom head,
              Body body)

Method Detail

toString

public String toString()

Overrides:

toString in class Object

toPLString

public String toPLString()

isGround

public boolean isGround()

getBody

public Body getBody()

getHead

public Atom getHead()

getInstance

public Clause getInstance(Variable variable,
                          Term term)

Parameters:

variable - Substitution variable.

term - A term.

Returns:

Returns a new instance of this term, where the variable is replaced by the term.