{"@context":{"owl":"http://www.w3.org/2002/07/owl#","bibo":"http://purl.org/ontology/bibo/","foaf":"http://xmlns.com/foaf/0.1/","rdfs":"http://www.w3.org/2000/01/rdf-schema#","prism":"http://prismstandard.org/namespaces/basic/2.0/","cinii":"http://ci.nii.ac.jp/ns/1.0/","dc":"http://purl.org/dc/elements/1.1/","dcterms":"http://purl.org/dc/terms/"},"@id":"https://ci.nii.ac.jp/ncid/BA11719833.json","@graph":[{"@id":"https://ci.nii.ac.jp/ncid/BA11719833#entity","@type":"bibo:Book","foaf:isPrimaryTopicOf":{"@id":"https://ci.nii.ac.jp/ncid/BA11719833.json"},"dc:title":[{"@value":"Prolog : a logical approach"}],"dc:creator":"Tony Dodd","dc:publisher":[{"@value":"Oxford University Press"}],"dcterms:extent":"xii, 556 p.","cinii:size":"24 cm","dc:language":"eng","dc:date":"1990","cinii:ncid":"BA11719833","cinii:ownerCount":"18","foaf:maker":[{"@id":"https://ci.nii.ac.jp/author/DA03384485#entity","@type":"foaf:Person","foaf:name":[{"@value":"Dodd, A. (Anthony)"}]}],"bibo:owner":[{"@id":"https://ci.nii.ac.jp/library/FA001652","@type":"foaf:Organization","foaf:name":"筑波大学 附属図書館 中央図書館","rdfs:seeAlso":{"@id":"https://www.tulips.tsukuba.ac.jp/mylimedio/search/search.do?target=local&mode=comp&ncid=BA11719833"}},{"@id":"https://ci.nii.ac.jp/library/FA002484","@type":"foaf:Organization","foaf:name":"名古屋大学 理学 図書室","rdfs:seeAlso":{"@id":"https://m-opac.nul.nagoya-u.ac.jp/iwjs0023opc/ufirdi.do?ufi_target=ctlsrh&ncid=BA11719833&initFlg=_RESULT_SET_NOTBIB"}},{"@id":"https://ci.nii.ac.jp/library/FA002848","@type":"foaf:Organization","foaf:name":"大阪大学 附属図書館 総合図書館","rdfs:seeAlso":{"@id":"https://opac.library.osaka-u.ac.jp/opac/opac_openurl/?ncid=BA11719833"}},{"@id":"https://ci.nii.ac.jp/library/FA002939","@type":"foaf:Organization","foaf:name":"大阪教育大学 附属図書館","rdfs:seeAlso":{"@id":"https://www.lib.osaka-kyoiku.ac.jp/opac/search?target=local&searchmode=complex&autoDetail=true&s_ncid=BA11719833"}},{"@id":"https://ci.nii.ac.jp/library/FA003090","@type":"foaf:Organization","foaf:name":"奈良女子大学 学術情報センター","rdfs:seeAlso":{"@id":"https://opac.nara-ni.ac.jp/opac/search?target=local&searchmode=complex&autoDetail=true&s_ncid=BA11719833"}},{"@id":"https://ci.nii.ac.jp/library/FA003170","@type":"foaf:Organization","foaf:name":"岡山大学 図書館","rdfs:seeAlso":{"@id":"http://webcat.lib.okayama-u.ac.jp/mylimedio/search/search.do?ncid=BA11719833"}},{"@id":"https://ci.nii.ac.jp/library/FA014508","@type":"foaf:Organization","foaf:name":"広島大学 図書館 西図書館","rdfs:seeAlso":{"@id":"https://opac.lib.hiroshima-u.ac.jp/iwjs0027opc/cattab.do?sp_srh_flg=true&tab_num=0&ncid=BA11719833"}},{"@id":"https://ci.nii.ac.jp/library/FA004060","@type":"foaf:Organization","foaf:name":"兵庫県立大学 神戸商科学術情報館","rdfs:seeAlso":{"@id":"https://lib.laic.u-hyogo.ac.jp/opac/search?target=local&searchmode=complex&autoDetail=true&s_ncid=BA11719833"}},{"@id":"https://ci.nii.ac.jp/library/FA012546","@type":"foaf:Organization","foaf:name":"県立広島大学 庄原学術情報センター図書館","rdfs:seeAlso":{"@id":"https://librarywww.pu-hiroshima.ac.jp/opac/search?target=local&searchmode=complex&autoDetail=true&s_ncid=BA11719833"}},{"@id":"https://ci.nii.ac.jp/library/FA006204","@type":"foaf:Organization","foaf:name":"東洋大学 附属図書館 川越図書館","rdfs:seeAlso":{"@id":"https://triton.lib.toyo.ac.jp/gate?module=search&path=search.do&method=search&searchForm.library=true&searchForm.orderNumber=BA11719833"}},{"@id":"https://ci.nii.ac.jp/library/FA007670","@type":"foaf:Organization","foaf:name":"同志社大学 図書館","rdfs:seeAlso":{"@id":"https://doors.doshisha.ac.jp/opac/opac_openurl/?ncid=BA11719833"}},{"@id":"https://ci.nii.ac.jp/library/FA007841","@type":"foaf:Organization","foaf:name":"大阪工業大学 図書館","rdfs:seeAlso":{"@id":"https:/opac.lib.oit.ac.jp/iwjs0021opc/ctlsrh.do?ncid=BA11719833"}},{"@id":"https://ci.nii.ac.jp/library/FA014009","@type":"foaf:Organization","foaf:name":"北陸先端科学技術大学院大学 附属図書館"},{"@id":"https://ci.nii.ac.jp/library/FA014654","@type":"foaf:Organization","foaf:name":"宮崎公立大学 附属図書館"},{"@id":"https://ci.nii.ac.jp/library/FA014927","@type":"foaf:Organization","foaf:name":"広島市立大学 附属図書館","rdfs:seeAlso":{"@id":"https://opac.lib.hiroshima-cu.ac.jp/opac/search?target=local&searchmode=complex&autoDetail=true&s_ncid=BA11719833"}},{"@id":"https://ci.nii.ac.jp/library/FA016955","@type":"foaf:Organization","foaf:name":"大分県立芸術文化短期大学 附属図書館","rdfs:seeAlso":{"@id":"http://library.oita-pjc.ac.jp/library?view=view.opacsch.itemsch&func=function.opacsch.toshozashidsp&funcno=1&search8=BA11719833"}},{"@id":"https://ci.nii.ac.jp/library/FA017889","@type":"foaf:Organization","foaf:name":"山形県公立大学法人 附属図書館"},{"@id":"https://ci.nii.ac.jp/library/FA018779","@type":"foaf:Organization","foaf:name":"東北文化学園大学 総合情報センター 図書館","rdfs:seeAlso":{"@id":"https://lib-tbgu.opac.jp/opac/ncid_search?ncid=BA11719833"}}],"bibo:lccn":["89071012"],"rdfs:seeAlso":[{"@id":"https://lccn.loc.gov/89071012"}],"prism:publicationDate":["1990"],"cinii:note":["Includes bibliographical references (p. 497-499) and index"],"dc:subject":["LCC:QA76.73.P76","DC20:005.13/3"],"foaf:topic":[{"@id":"https://ci.nii.ac.jp/books/search?q=Prolog+%28Computer+program+language%29","dc:title":"Prolog (Computer program language)"}],"dcterms:isPartOf":[{"@id":"https://ci.nii.ac.jp/ncid/BA00281843#entity","dc:title":"Oxford science publications","@type":"bibo:Book"}],"dcterms:hasPart":[{"@id":"urn:isbn:0198538227"},{"@id":"urn:isbn:0198538219","dc:title":": pbk"}]}]}