exp.prolog
Class Prolog

java.lang.Object
  |
  +--exp.prolog.Prolog

public class Prolog

extends java.lang.Object

Prolog Alcune variabili globali per il prolog

Version:

2/2/2000

Author:

Marco Chiesi

Field Summary

static Sexp	curHead Testa corrente
static java.util.Vector	goalVars Vettore delle variabili del goal; usato dal parser e dal valutatore
static java.util.Stack	trailStack Stack delle varabili legate; usato dal visitor che unifica e dal valutatore
static java.util.Hashtable	varTable Tabella hash delle variabili trovate; usata dal lexer e nella dup

Constructor Summary

Prolog()

Method Summary

static void

clear() Azzeramento delle strutture

Methods inherited from class java.lang.Object

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

Field Detail

goalVars

public static java.util.Vector goalVars

Vettore delle variabili del goal; usato dal parser e dal valutatore

trailStack

public static java.util.Stack trailStack

Stack delle varabili legate; usato dal visitor che unifica e dal valutatore

varTable

public static java.util.Hashtable varTable

Tabella hash delle variabili trovate; usata dal lexer e nella dup

curHead

public static Sexp curHead

Testa corrente

Constructor Detail

Prolog

public Prolog()

Method Detail

clear

public static void clear()

Azzeramento delle strutture