著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "Coelho, Helder and Cotta, José Carlos","Prolog by example : how to learn, teach and use it",,Springer-Verlag,1988,Symbolic computation,,"0387183132,3540183132",,https://cir.nii.ac.jp/crid/1130282272563689984