![]() ![]() ![]() ![]() ![]() |
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) 神戸大学 |