Prolog処理系入門_Pascalによるミニインタープリタ - 共立出版コンピュータサイエンス誌『bit』