MGTP - What does MGTP stand for? The Free Dictionary
References in periodicals archive
The most original of these is to implement MGTP
in KL1 and to implement higher-level forms of logic and LP in MGTP
An exception is a parallel bottom-up theorem prover called MGTP
, and application systems running on it.
First-order logic itself can be regarded as one of such higher-level constructs, in the sense that MGTP
compiles it to KL1 programs.