{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T06:46:29Z","timestamp":1648968389512},"reference-count":14,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1988,6,1]],"date-time":"1988-06-01T00:00:00Z","timestamp":581126400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Knowledge-Based Systems"],"published-print":{"date-parts":[[1988,6]]},"DOI":"10.1016\/0950-7051(88)90077-9","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T23:45:55Z","timestamp":1047685555000},"page":"188-192","source":"Crossref","is-referenced-by-count":9,"title":["Prolog and deductive databases"],"prefix":"10.1016","volume":"1","author":[{"given":"M.H.","family":"Williams","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Ferbrache","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Massey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Salvini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Taylor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.F.","family":"Wong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"No 2","key":"10.1016\/0950-7051(88)90077-9_BIB1","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/356924.356929","article-title":"Logic and databases: a deductive approach","volume":"Vol 16","author":"Gallaire","year":"1984","journal-title":"ACM Comput. Surveys"},{"key":"10.1016\/0950-7051(88)90077-9_BIB2","article-title":"Logic as a Database Language","author":"Kowalski","year":"1981"},{"key":"10.1016\/0950-7051(88)90077-9_BIB3","series-title":"Proc. 7th Int. Comput. Symp.","first-page":"318","article-title":"A Prolog implementation of query-by-example","author":"Neves","year":"1983"},{"key":"10.1016\/0950-7051(88)90077-9_BIB4","article-title":"Bench-marking Prolog for Database Applications","author":"Williams","year":"1987"},{"key":"10.1016\/0950-7051(88)90077-9_BIB5","author":"Warren","year":"1985","journal-title":"C-Prolog User's Manual"},{"key":"10.1016\/0950-7051(88)90077-9_BIB6","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1007\/BF03037117","article-title":"Design and simulation of a sequential Prolog machine","volume":"Vol 3","author":"Clocksin","year":"1985","journal-title":"New Generat. Comput."},{"key":"10.1016\/0950-7051(88)90077-9_BIB7","author":"Bowen","year":"1987"},{"key":"10.1016\/0950-7051(88)90077-9_BIB8","series-title":"Proc. 1st Int. Conf. on Expert Database Systems","article-title":"Interfacing relational databases and Prolog efficiently","author":"Ceri","year":"1986"},{"key":"10.1016\/0950-7051(88)90077-9_BIB9","series-title":"Proc. 3rd Symp. of Logic Programming","article-title":"EDUCE a marriage of convenience: Prolog and a relational DBMS","author":"Bocca","year":"1983"},{"key":"10.1016\/0950-7051(88)90077-9_BIB10","series-title":"Proc. Logic Programming Workshop","first-page":"608","article-title":"Logical data bases vs deductive data bases","author":"Gallaire","year":"1983"},{"key":"10.1016\/0950-7051(88)90077-9_BIB11","series-title":"Proc. 3rd Int. Conf. on Logic Programming","first-page":"569","article-title":"A Superimposed Codeword Indexing Scheme for Very Large Prolog Databases","author":"Ramamohanarao","year":"1986"},{"key":"10.1016\/0950-7051(88)90077-9_BIB12","doi-asserted-by":"crossref","unstructured":"Chisholm, P, Chen, G, Ferbrache, D, Thanisch, P and Williams, M H \u2018Coping with indefinite and negative data in deductive databases: a survey\u2019 Data and Knowledge Engineering (to appear)","DOI":"10.1016\/0169-023X(87)90022-X"},{"key":"10.1016\/0950-7051(88)90077-9_BIB13","article-title":"An Integrated System of Static and Transition Constraints for a Deductive Database","author":"Gaebler","year":"1987"},{"key":"10.1016\/0950-7051(88)90077-9_BIB14","series-title":"International Series in Logic Programming","article-title":"Parallel Logic Programming in Parlog \u2014 The language and its Implementation","author":"Gregory","year":"1987"}],"container-title":["Knowledge-Based Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0950705188900779?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0950705188900779?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,25]],"date-time":"2019-03-25T07:52:32Z","timestamp":1553500352000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0950705188900779"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,6]]},"references-count":14,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1988,6]]}},"alternative-id":["0950705188900779"],"URL":"https:\/\/doi.org\/10.1016\/0950-7051(88)90077-9","relation":{},"ISSN":["0950-7051"],"issn-type":[{"value":"0950-7051","type":"print"}],"subject":[],"published":{"date-parts":[[1988,6]]}}}