@misc{oai:niigata-u.repo.nii.ac.jp:00033608,
 author = {元木, 達也},
 month = {2020-03-17},
 note = {1993年度「情報処理概論A」講義ノート},
 title = {論理とProlog},
 year = {}
}