@misc{oai:tsukuba.repo.nii.ac.jp:00012836, author = {元吉, 文男 and Motoyoshi, Fumio}, month = {}, note = {1991, 【要旨】}, title = {A study on a logic programming language based on first-order formulae}, year = {1992} }