Goedel 4.2
Type ;h. for help.
[] <- Reading file "GL/DB.exp" ...
Reading file "GL/DB.loc" ...
Parsing module "DB" ...
[] <- Reading file "GL/DB.exp" ...
Reading file "GL/DB.loc" ...
Parsing module "DB" ...
Compiling module "DB" ...
Module "DB" compiled.
[] <- Loading module "DB" ...
[DB] <- [DB] <- No
[DB] <- [DB] <- No
[DB] <- [DB] <- 
x = Sue ? Yes
[DB] <- 
x = Sue ? Yes
[DB] <- No
[DB] <- [DB] <- No
[DB] <- [DB] <-