MPROLOGの概要_仮想計算機上のProlog - 共立出版コンピュータサイエンス誌『bit』