We also made a short visit to ICOT, where we learned more about the MGTP, about Katsumi Inoue's use of MGTP to implement default reasoning (via the generation of stable models for negation as failure), and about the application of these techniques to legal reasoning.
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.
Although the Andorra principle was proposed later as a nice amalgamation of logic programming and concurrent logic programming, our research on search problems, including the MGTP
project, focused on the compilation approach throughout.