Prolog]のたまりば
| 2017 | ISO/IEC 13211-1:1995/Cor 3:2017 |
| 2012 | ISO/IEC 13211-1:1995/Cor 2:2012 |
| 2007 | ISO/IEC 13211-1:1995/Cor 1:2007 |
| 1995 | ISO/IEC 13211-1:1995 |
| CHI II | |
| CHI(Co-operative High performance sequential Inference Mmchine) | |
| 1987 | PSI II |
| 1986 | PSI(Personal Sequential Inference Machine) MELCOM PSI |
| 1984.5 | PEK(Prolog Engine of Kobe University) 神戸大学 |