{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T06:11:37Z","timestamp":1698041497922},"reference-count":16,"publisher":"Wiley","issue":"3","license":[{"start":{"date-parts":[[2006,10,30]],"date-time":"2006-10-30T00:00:00Z","timestamp":1162166400000},"content-version":"vor","delay-in-days":6817,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1988,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>As Prolog becomes more widely used, it becomes important to provide clear and consistent implementations of the assert and retract primitives. This paper introduces a bit\u2010map indexing system with a consistent semantics. It also considers the implementation of the interface between Prolog and an external source of clauses, concentrating on the storage of clauses on secondary storage, but considering also the presentation of data to Prolog programs by non\u2010Prolog processes.<\/jats:p>","DOI":"10.1002\/spe.4380180303","type":"journal-article","created":{"date-parts":[[2006,11,18]],"date-time":"2006-11-18T04:55:24Z","timestamp":1163825724000},"page":"205-220","source":"Crossref","is-referenced-by-count":3,"title":["Assert, retract and external processes in prolog"],"prefix":"10.1002","volume":"18","author":[{"given":"Robert M.","family":"Colomb","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,10,30]]},"reference":[{"key":"e_1_2_1_2_2","volume-title":"An Introduction to Logic Programing","author":"Hogger C. J.","year":"1984"},{"key":"e_1_2_1_3_2","unstructured":"R. M.Colomb \u2018A hardware\u2010intended implementation of Prolog featuring a general solution to the clause indexing problem\u2019 Ph.D. Thesis Department of Computer Science University of New South Wales Sydney Australia 1986."},{"issue":"1","key":"e_1_2_1_4_2","first-page":"18","article-title":"A clause indexing system for Prolog based on superimposed coding","volume":"18","author":"Colomb R. M.","year":"1986","journal-title":"Australia Computer Journal"},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1987.1663506"},{"key":"e_1_2_1_6_2","volume-title":"Logic Programming","author":"Bowen K. A.","year":"1982"},{"key":"e_1_2_1_7_2","volume-title":"Fouth International Conference on logic Programming, University of Melbourne","author":"Lindholm T.","year":"1987"},{"key":"e_1_2_1_8_2","volume-title":"Symposium on Logic Programming","author":"Bowen K. A.","year":"1985"},{"key":"e_1_2_1_9_2","volume-title":"Fourth International Conference on Logic Programing, University of Melbourne","author":"Bacha H.","year":"1987"},{"key":"e_1_2_1_10_2","first-page":"185","volume-title":"Symposium on Logic Programming","author":"Pittomvils E.","year":"1985"},{"issue":"2","key":"e_1_2_1_11_2","first-page":"58","article-title":"The implementation of UNSW\u2010Prolog","volume":"15","author":"Sammut C. A.","year":"1983","journal-title":"Australian Computer Journal"},{"key":"e_1_2_1_12_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380150705"},{"key":"e_1_2_1_13_2","unstructured":"H.Nishikawa et al. \u2018The personal sequential inference machine (PSI): its design philosophy and machine architecture\u2019 Proceedings Logic Programming Workshop '83 Algarve Portugal Universidade Nova de Lisboa 1983."},{"key":"e_1_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.1145\/356924.356929"},{"key":"e_1_2_1_15_2","unstructured":"P.Brebner \u2018Autonomous paradigm\u2010directed discovery of na\u00efve scientific theories by computer\u2019 First Pan\u2010Pacific Computer Conference Australian Computer Society Melbourne Australia 1985."},{"key":"e_1_2_1_16_2","volume-title":"Proceedings of the First International Logic Programming Conference","author":"Chakravarthy U. S.","year":"1982"},{"key":"e_1_2_1_17_2","volume-title":"The MU Prolog Deductive Database, TR 83\/10","author":"Naish L.","year":"1983"}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380180303","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380180303","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,22]],"date-time":"2023-10-22T02:54:08Z","timestamp":1697943248000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380180303"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,3]]},"references-count":16,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1988,3]]}},"alternative-id":["10.1002\/spe.4380180303"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380180303","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988,3]]}}}