Ứng dụng của Prolog trong việc triển khai hệ thống chuyên gia

Dahl, V., “Logic Programming as a Representation of Knowledge,”IEEE Computer, Vol. 16, October, 1983. Clark, K. L. and McCabe, F. G., “PROLOG; A Language for Implementing Expert Systems,”Machine Intelligence, 10 (Hayes & Michie, eds.), 1982. Elcock, E. W., “How Complete Are Knowledge-Representation Systems?,”IEEE Computer, Vol. 16, October, 1983. Clocksin, W. F. and Mellish, C. S.,Programming in Prolog, Springer Verlag, Berlin, 1981. Kowalski, R., “Logic Programming,” inProc. of IFIP 83, Paris, France, Sept., 1983. Parsaye, K., “Database Management, Knowledge Base Management, and Expert System Development in Prolog,”Proc. Logic Programming Workshop ’83, Algarve, Portugal, June, 1983. Console, L. and Rossi, G., “Implementing inference strategis in Prology by preprocessing,”Internal Rept., Univ. of Turin, July, 1985. Markusz, Z., “Application of PROLOG in Designing Many-Storied Dwelling Houses,” inProc. of the Logic Programming Conf., (S-Å. Tärnlund, ed.), Debrecen, Hungary, July, 180. Walker, A. and Porto, A., “KB01: A Knowledge Based Garden Store Assistant,” inProc. Logic Programming Workshop ’83, Algarve, Protugal, June, 1983. Warren, D. S., “Database Updates in Pure Prolog,” inProc. of the Int. Conf. on Fifth Generation Computer Systems 1984, Tokyo, Japan, November, 1984. Poe, M. D., “Control of Heuristic Search in a PROLOG-based Microcode Synthesis Expert System,”Proc. of the Int. Conf. on Fifth Generation Computer, Systems 1984, Tokyo, Japan, November, 1984. Gallaire, H. and Lasserre, C., “Metalevel Control for Logic Programs,”Logic Programming (K. L. Clark and S-Å. Tärnlund, eds.), Academic Press, 1982. Eggert, P. R. and Val Schorre, D., “Logic enhancement: a method for extending logic programming languages,” inProc. of the ACM Conf. on Lisp and Functional Programming Languages, August, 1982. Pereira, M. L. and Porto, A., “Selective Backtracking,” inLogic Programming (K. L. Clark and S-Å. Tärnlund, eds.), Academic Press, 1982. Pereira L. M., “Logic Control with Logic,” inProc. of the First Int. Logic Programming Conf., ADDP, Marseille, Sept., 1982. Sterling, L., “Expert System=Knowledge+Meta-Interpreter,”Tech. Rept. CS84-17, Weizmann Institute, Israel, 1984. Shapiro, E. Y., “Logic Programs with Uncertainties: A Tool for Implementing Rule-Based Systems,” inProc. of the 8th IJCAI, Karlsruhe, West Germany, August, 1983. Mizoguchi, F., “PROLOG Based Expert System,”New Generation Computing, OHMSA, LTD AND Springer-Verlag, pp. 99–104, 1983. Oliveira, E., “Developing Expert Systems Builders in Logic Programming,” inProc. Logic Programming Workshop ’83, Algarve, Portugal, June, 1983. Littleford, A., “A Mycin-like Expert System in Prolog,” inProc. of the Int. Conf. on Logic Programming, Uppsala, Sweeden, 1984. Clark, K. and McCabe, F., “The Control Facilities of IC-PROLOG,” inExpert Systems in the Micro Electronic Age (D. Mitchie, ed.), Edinburgh University Press, 1981. Porto, A., “Epilog, a language for extended programming in logic,” inProc. of the First Int. Logic Programming Conf., ADDP, Marseille, Sept. 1982. Bendl, J., Koves, P. and Szeredi, P., “The MPROLOG System,” inProc. of the Logic Programming Workshop (S-Å. Tãrnlund, ed.), Debrecen, Hungary, July, 1980. Shapiro, E. Y., “Methodology of Logic Programming,” inProc. Logic Programming Workshop ’83, Algarve, Portugal, June, 1983. Dincbas, M., “The METALOG problem solving system, an informal presentation,” inProc. of the Logic Programming Workshop (S-Å. Tãrnlund, ed.), Debrecen, Hungary, July, 1980. Palmer, M. et al., “Selective Depth-first Search in Prolog,” inProc. of the 1st Conf. on A. I. Applications, Sheraton Denver Tech. Center, December, 1984. Nakashima, H., “Prolog/KR-Language Features,” inProc. of the First Int. Logic Programming Conf., ADDP, Marseille, September, 1982. Chikayama, T., “ESP — Extended Self-contained Prolog — as a Preliminary Kernel Language of Fifth Generation Computers,New Generation Computing,Vol. 1,No. 1, 1983. Shapiro, E. Y., “A Subset of Concurrent Prolog and Its Interpreter,”ICOT Technical Report, TR-003, Tokyo, Japan, 1982. Clark, K. and Gregory, S., “PARLOG: A Parallel Logic Programming Language,”Technical Rept. DOC 83/5, March, 1983. Walker, A., “Prolog/EX1, An inference engine which explains both yes and no answers,” inProc. of the 8th IJCAI, Karlsruhe, West Germany, August, 1983. Martelli, A. and Rossi, G., “Efficient Unification with Infinite Terms in Logic Programming,” inProc. of the Int. Conf. on Fifth Generation Computer Systems 1984, Tokyo, Japan, November, 1984.