prolog
Class PrologEvaluator

java.lang.Object
  |
  +--java.lang.Thread
        |
        +--prolog.PrologEvaluator

public class PrologEvaluator

extends java.lang.Thread

PrologEvaluator Valutatore Prolog

Version:

01/02/2000

Author:

Marco Chiesi

Fields inherited from class java.lang.Thread

MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY

Constructor Summary

PrologEvaluator(OutputDevice msgOut, OutputDevice stdOut, Sexp prog, Clause g, java.awt.Button more, java.awt.Button abort, java.awt.Button eval)
Costruttore

Method Summary

protected Sexp	appendConj(Sexp x, Sexp y) Appende due liste di termini
protected void	demo(Clause goal, Sexp prog) Dimostrazione di un goal
protected void	more() Sospensione in attesa che l'utente scelga se vuole altre soluzioni
void	print(java.lang.String s) Scrittura di un messaggio in output
void	println(java.lang.String s) Scrittura di un messaggio in output con ritorno a capo
protected void	printResults() Stampa dei risultati
void	run() Metodo run per l'esecuzione
protected void	step(Clause goal, int oldTop, Sexp prog, Sexp fullprog) Passo successivo della risoluzione
protected Clause	unfold(Clause e, Clause that) Unificazione e creazione di un nuovo risolvente
protected void	unwindtrail(java.util.Stack trail, int to) Estrazione delle variabili dallo stack e reimpostazione del riferimento a se stesse

Methods inherited from class java.lang.Thread

activeCount, checkAccess, countStackFrames, currentThread, destroy, dumpStack, enumerate, getContextClassLoader, getName, getPriority, getThreadGroup, interrupt, interrupted, isAlive, isDaemon, isInterrupted, join, join, join, resume, setContextClassLoader, setDaemon, setName, setPriority, sleep, sleep, start, stop, stop, suspend, toString, yield

Methods inherited from class java.lang.Object

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

Constructor Detail

PrologEvaluator

public PrologEvaluator(OutputDevice msgOut,
                       OutputDevice stdOut,
                       Sexp prog,
                       Clause g,
                       java.awt.Button more,
                       java.awt.Button abort,
                       java.awt.Button eval)

Costruttore

Method Detail

print

public void print(java.lang.String s)

Scrittura di un messaggio in output

println

public void println(java.lang.String s)

Scrittura di un messaggio in output con ritorno a capo

run

public void run()

Metodo run per l'esecuzione

Overrides:

run in class java.lang.Thread

unwindtrail

protected void unwindtrail(java.util.Stack trail,
                           int to)

Estrazione delle variabili dallo stack e reimpostazione del riferimento a se stesse

appendConj

protected final Sexp appendConj(Sexp x,
                                Sexp y)

Appende due liste di termini

unfold

protected Clause unfold(Clause e,
                        Clause that)

Unificazione e creazione di un nuovo risolvente

more

protected void more()

Sospensione in attesa che l'utente scelga se vuole altre soluzioni

printResults

protected void printResults()

Stampa dei risultati

demo

protected void demo(Clause goal,
                    Sexp prog)

Dimostrazione di un goal

step

protected void step(Clause goal,
                    int oldTop,
                    Sexp prog,
                    Sexp fullprog)

Passo successivo della risoluzione