GO : MATEOP

GO is a mating-search command.
Start mating search using default mating search (controlled
by flag DEFAULT-MS).
 
The command format for GO is:

<Mate>GO

TPS documentation homepage


GO : MEXPR

GO is a top-level command.
Start producing and applying suggestions until no more are found.
Suggestions are treated according to their priority and the state of
the global parameter GO-INSTRUCTIONS.
The command format for GO is:

 <n>GO 

TPS documentation homepage


GO : MTREEOP

GO is a matingstree command.
Call the matingstree procedure given in DEFAULT-MS.
 
The command format for GO is:

<Mtree>GO

TPS documentation homepage


GO : TESTCMD

GO is a test-top command.
Start searching with current searchlist & current problem.
 
The command format for GO is:

<TEST>GO MODENAME TESTWIN
"SYMBOL" "YESNO"

TPS documentation homepage


GO : UNIFOP

GO is an unification command.
Call unification in automatic mode. Will search for unifiers
only below the current-topnode.
 
The command format for GO is:

<Unif>GO

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage