alice.tuprolog

Class Agent

java.lang.Object

alice.tuprolog.Agent

public class Agent
extends Object

Provides a prolog virtual machine embedded in a separate thread. It needs a theory and optionally a goal. It parses the theory, solves the goal and stops.

See Also:

Prolog

Constructor Summary

Constructors

Constructor and Description
Agent(InputStream is) Constructs the Agent with a theory provided by an input stream
Agent(InputStream is, String goal) Constructs the Agent with a theory provided by an input stream and a goal
Agent(String theory) Builds a prolog agent providing it a theory
Agent(String theory, String goal) Builds a prolog agent providing it a theory and a goal

Method Summary

Methods

Modifier and Type	Method and Description
void	addOutputListener(OutputListener l) Adds a listener to ouput events
static void	main(String[] args)
void	removeAllOutputListener() Removes all output event listeners
void	removeOutputListener(OutputListener l) Removes a listener to ouput events
void	spawn() Starts agent execution

Methods inherited from class java.lang.Object

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

Constructor Detail

Agent

public Agent(String theory)

Builds a prolog agent providing it a theory

Parameters:

theory - the text representing the theory

Agent

public Agent(String theory,
     String goal)

Builds a prolog agent providing it a theory and a goal

Agent

public Agent(InputStream is)

Constructs the Agent with a theory provided by an input stream

Agent

public Agent(InputStream is,
     String goal)

Constructs the Agent with a theory provided by an input stream and a goal

Method Detail

spawn

public final void spawn()

Starts agent execution

addOutputListener

public void addOutputListener(OutputListener l)

Adds a listener to ouput events

Parameters:

l - the listener

removeOutputListener

public void removeOutputListener(OutputListener l)

Removes a listener to ouput events

Parameters:

l - the listener

removeAllOutputListener

public void removeAllOutputListener()

Removes all output event listeners

main

public static void main(String[] args)