{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T15:48:06Z","timestamp":1648741686542},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1986,9,1]],"date-time":"1986-09-01T00:00:00Z","timestamp":525916800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1986,9]]},"DOI":"10.1007\/bf03037410","type":"journal-article","created":{"date-parts":[[2009,4,24]],"date-time":"2009-04-24T02:40:55Z","timestamp":1240540855000},"page":"321-329","source":"Crossref","is-referenced-by-count":7,"title":["Uses of Prolog in implementation of expert systems"],"prefix":"10.1007","volume":"4","author":[{"given":"Gianfranco","family":"Rossi","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF03037410_CR1","doi-asserted-by":"crossref","unstructured":"Dahl, V., \u201cLogic Programming as a Representation of Knowledge,\u201dIEEE Computer, Vol. 16, October, 1983.","DOI":"10.1109\/MC.1983.1654206"},{"key":"BF03037410_CR2","unstructured":"Clark, K. L. and McCabe, F. G., \u201cPROLOG; A Language for Implementing Expert Systems,\u201dMachine Intelligence, 10 (Hayes & Michie, eds.), 1982."},{"key":"BF03037410_CR3","doi-asserted-by":"crossref","unstructured":"Elcock, E. W., \u201cHow Complete Are Knowledge-Representation Systems?,\u201dIEEE Computer, Vol. 16, October, 1983.","DOI":"10.1109\/MC.1983.1654208"},{"key":"BF03037410_CR4","volume-title":"Programming in Prolog","author":"W. F. Clocksin","year":"1981","unstructured":"Clocksin, W. F. and Mellish, C. S.,Programming in Prolog, Springer Verlag, Berlin, 1981."},{"key":"BF03037410_CR5","unstructured":"Kowalski, R., \u201cLogic Programming,\u201d inProc. of IFIP 83, Paris, France, Sept., 1983."},{"key":"BF03037410_CR6","doi-asserted-by":"crossref","unstructured":"Parsaye, K., \u201cDatabase Management, Knowledge Base Management, and Expert System Development in Prolog,\u201dProc. Logic Programming Workshop \u201983, Algarve, Portugal, June, 1983.","DOI":"10.1145\/647004.711875"},{"key":"BF03037410_CR7","unstructured":"Console, L. and Rossi, G., \u201cImplementing inference strategis in Prology by preprocessing,\u201dInternal Rept., Univ. of Turin, July, 1985."},{"key":"BF03037410_CR8","unstructured":"Markusz, Z., \u201cApplication of PROLOG in Designing Many-Storied Dwelling Houses,\u201d inProc. of the Logic Programming Conf., (S-\u00c5. T\u00e4rnlund, ed.), Debrecen, Hungary, July, 180."},{"key":"BF03037410_CR9","unstructured":"Walker, A. and Porto, A., \u201cKB01: A Knowledge Based Garden Store Assistant,\u201d inProc. Logic Programming Workshop \u201983, Algarve, Protugal, June, 1983."},{"key":"BF03037410_CR10","unstructured":"Warren, D. S., \u201cDatabase Updates in Pure Prolog,\u201d inProc. of the Int. Conf. on Fifth Generation Computer Systems 1984, Tokyo, Japan, November, 1984."},{"key":"BF03037410_CR11","unstructured":"Poe, M. D., \u201cControl of Heuristic Search in a PROLOG-based Microcode Synthesis Expert System,\u201dProc. of the Int. Conf. on Fifth Generation Computer, Systems 1984, Tokyo, Japan, November, 1984."},{"key":"BF03037410_CR12","unstructured":"Gallaire, H. and Lasserre, C., \u201cMetalevel Control for Logic Programs,\u201dLogic Programming (K. L. Clark and S-\u00c5. T\u00e4rnlund, eds.), Academic Press, 1982."},{"key":"BF03037410_CR13","doi-asserted-by":"crossref","unstructured":"Eggert, P. R. and Val Schorre, D., \u201cLogic enhancement: a method for extending logic programming languages,\u201d inProc. of the ACM Conf. on Lisp and Functional Programming Languages, August, 1982.","DOI":"10.1145\/800068.802137"},{"key":"BF03037410_CR14","unstructured":"Pereira, M. L. and Porto, A., \u201cSelective Backtracking,\u201d inLogic Programming (K. L. Clark and S-\u00c5. T\u00e4rnlund, eds.), Academic Press, 1982."},{"key":"BF03037410_CR15","unstructured":"Pereira L. M., \u201cLogic Control with Logic,\u201d inProc. of the First Int. Logic Programming Conf., ADDP, Marseille, Sept., 1982."},{"key":"BF03037410_CR16","unstructured":"Sterling, L., \u201cExpert System=Knowledge+Meta-Interpreter,\u201dTech. Rept. CS84-17, Weizmann Institute, Israel, 1984."},{"key":"BF03037410_CR17","unstructured":"Shapiro, E. Y., \u201cLogic Programs with Uncertainties: A Tool for Implementing Rule-Based Systems,\u201d inProc. of the 8th IJCAI, Karlsruhe, West Germany, August, 1983."},{"key":"BF03037410_CR18","doi-asserted-by":"crossref","unstructured":"Mizoguchi, F., \u201cPROLOG Based Expert System,\u201dNew Generation Computing, OHMSA, LTD AND Springer-Verlag, pp. 99\u2013104, 1983.","DOI":"10.1007\/BF03037027"},{"key":"BF03037410_CR19","unstructured":"Oliveira, E., \u201cDeveloping Expert Systems Builders in Logic Programming,\u201d inProc. Logic Programming Workshop \u201983, Algarve, Portugal, June, 1983."},{"key":"BF03037410_CR20","unstructured":"Littleford, A., \u201cA Mycin-like Expert System in Prolog,\u201d inProc. of the Int. Conf. on Logic Programming, Uppsala, Sweeden, 1984."},{"key":"BF03037410_CR21","unstructured":"Clark, K. and McCabe, F., \u201cThe Control Facilities of IC-PROLOG,\u201d inExpert Systems in the Micro Electronic Age (D. Mitchie, ed.), Edinburgh University Press, 1981."},{"key":"BF03037410_CR22","unstructured":"Porto, A., \u201cEpilog, a language for extended programming in logic,\u201d inProc. of the First Int. Logic Programming Conf., ADDP, Marseille, Sept. 1982."},{"key":"BF03037410_CR23","unstructured":"Bendl, J., Koves, P. and Szeredi, P., \u201cThe MPROLOG System,\u201d inProc. of the Logic Programming Workshop (S-\u00c5. T\u00e3rnlund, ed.), Debrecen, Hungary, July, 1980."},{"key":"BF03037410_CR24","unstructured":"Shapiro, E. Y., \u201cMethodology of Logic Programming,\u201d inProc. Logic Programming Workshop \u201983, Algarve, Portugal, June, 1983."},{"key":"BF03037410_CR25","unstructured":"Dincbas, M., \u201cThe METALOG problem solving system, an informal presentation,\u201d inProc. of the Logic Programming Workshop (S-\u00c5. T\u00e3rnlund, ed.), Debrecen, Hungary, July, 1980."},{"key":"BF03037410_CR26","unstructured":"Palmer, M. et al., \u201cSelective Depth-first Search in Prolog,\u201d inProc. of the 1st Conf. on A. I. Applications, Sheraton Denver Tech. Center, December, 1984."},{"key":"BF03037410_CR27","unstructured":"Nakashima, H., \u201cProlog\/KR-Language Features,\u201d inProc. of the First Int. Logic Programming Conf., ADDP, Marseille, September, 1982."},{"key":"BF03037410_CR28","doi-asserted-by":"crossref","unstructured":"Chikayama, T., \u201cESP \u2014 Extended Self-contained Prolog \u2014 as a Preliminary Kernel Language of Fifth Generation Computers,New Generation Computing,Vol. 1,No. 1, 1983.","DOI":"10.1007\/BF03037019"},{"key":"BF03037410_CR29","unstructured":"Shapiro, E. Y., \u201cA Subset of Concurrent Prolog and Its Interpreter,\u201dICOT Technical Report, TR-003, Tokyo, Japan, 1982."},{"key":"BF03037410_CR30","unstructured":"Clark, K. and Gregory, S., \u201cPARLOG: A Parallel Logic Programming Language,\u201dTechnical Rept. DOC 83\/5, March, 1983."},{"key":"BF03037410_CR31","unstructured":"Walker, A., \u201cProlog\/EX1, An inference engine which explains both yes and no answers,\u201d inProc. of the 8th IJCAI, Karlsruhe, West Germany, August, 1983."},{"key":"BF03037410_CR32","unstructured":"Martelli, A. and Rossi, G., \u201cEfficient Unification with Infinite Terms in Logic Programming,\u201d inProc. of the Int. Conf. on Fifth Generation Computer Systems 1984, Tokyo, Japan, November, 1984."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037410.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037410\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037410","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T00:52:36Z","timestamp":1558572756000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037410"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,9]]},"references-count":32,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1986,9]]}},"alternative-id":["BF03037410"],"URL":"https:\/\/doi.org\/10.1007\/bf03037410","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,9]]}}}