Package nl.uu.cs.aplib.agents

Class PrologReasoner.Rule

java.lang.Object

nl.uu.cs.aplib.agents.PrologReasoner.Rule

Enclosing class:

PrologReasoner

public static class PrologReasoner.Rule
extends Object

A represenration of a Prolog-rule. A rule has the form of "h :- t1,t2..." where "h" and "tk" are terms. The term h is called the rule-head and "t1,t2..." is the rule-body. A rule is interpreted as: h follows from the conjunction of t1,t2...

Field Summary

Fields

Modifier and Type	Field	Description
(package private) List<String>	body
(package private) String	head

Constructor Summary

Constructors

Constructor	Description
Rule(String head)	Construct a rule with the specified head and empty body.

Method Summary

Modifier and Type	Method	Description
PrologReasoner.Rule	and(String term)	Extend this rule h :- body by adding the given term to the body.
PrologReasoner.Rule	impBy(String term)	Extend this rule h :- body by adding the given term to the body.
String	toString()
(package private) alice.tuprolog.Struct	toStruct()

Methods inherited from class java.lang.Object

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

Field Details

head

String head

body

List<String> body

Constructor Details

Rule

Rule(String head)

Construct a rule with the specified head and empty body.

Method Details

impBy

public PrologReasoner.Rule impBy(String term)

Extend this rule h :- body by adding the given term to the body.

and

public PrologReasoner.Rule and(String term)

Extend this rule h :- body by adding the given term to the body.

toString

public String toString()

Overrides:

toString in class Object

toStruct

alice.tuprolog.Struct toStruct()