{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:25:53Z","timestamp":1725456353392},"publisher-location":"Berlin\/Heidelberg","reference-count":11,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055033X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013519","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T06:44:01Z","timestamp":1132728241000},"page":"32-40","source":"Crossref","is-referenced-by-count":1,"title":["Commercial applications of large Prolog knowledge bases"],"prefix":"10.1007","author":[{"given":"Chris","family":"Moss","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"C. Moss [1991] Logic Programming Applications and Products. Report for the Central Computer and Telecommunications Agency, H.M. Treasury."},{"key":"3_CR2","unstructured":"Prolog Development Center, ApS, H.J. Holst Vej 5A, DK-2605 Broendby, Denmark."},{"key":"3_CR3","unstructured":"Quintus Corporation, 2100 Geng Road, California 94303, U.S.A."},{"key":"3_CR4","unstructured":"Arity Corporation. 29 Domino Drive, Concord, MA 01742, U.S.A."},{"key":"3_CR5","unstructured":"Logic Programming Associates. Studio 4, Royal Victoria Patriotic Building, Trinity Road, London SW18 6SX, U.K."},{"issue":"No.1","key":"3_CR6","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/0743-1066(87)90022-7","volume":"4","author":"W.F. Clocksin","year":"1987","unstructured":"Clocksin, W.F. Logic Programming and Digital Circuit Analysis. Journal of Logic Programming, vol. 4. No. 1. pp59\u201382, 1987","journal-title":"Journal of Logic Programming"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Jabri, M.A., Brel \u2014 A Prolog Knowledge-Based Systems Shell for VLSI CAD. 27th Design Automation Conference. IEEE CS Press, June 1990. pp272\u2013277.","DOI":"10.1145\/123186.123273"},{"key":"3_CR8","volume-title":"Proc 8th Int. Conf. on Logic Programming","author":"P.B. Reintjes","year":"1991","unstructured":"Reintjes, P.B. A Set of Tools for VHDL Design. Proc 8th Int. Conf. on Logic Programming. Cambridge, Mass: The M.I.T. Press. 1991."},{"key":"3_CR9","unstructured":"Les techniques informatiques avancees et leurs applications. Dassault Electronique. Report NE 485 352. April 1991."},{"key":"3_CR10","unstructured":"Delphia, 27 ave de la Republique, 38170 Seyssinet, France."},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Computers and Biomedical Research 23,153\u2013164 (1990)","DOI":"10.1016\/0010-4809(90)90014-4"}],"container-title":["Lecture Notes in Computer Science","Processing Declarative Knowledge"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0013519","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:28:47Z","timestamp":1586579327000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013519"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055033X"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0013519","relation":{},"subject":[]}}