>>412
指摘された通りだと思うが、
KL0は、PSIのマイクロコードに対する一種のマクロアセンブラ的な位置付けの
Prologであると思います。