@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00238410, author = {金田, 泰}, book = {第26回プログラミング・シンポジウム報告集}, month = {Jan}, pages = {47--55}, publisher = {情報処理学会}, title = {スーパー・コンピュータによるPrologの高速実行}, volume = {1985}, year = {1985} }