{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T13:25:56Z","timestamp":1773235556766,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540000105","type":"print"},{"value":"9783540360780","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36078-6_30","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T02:48:36Z","timestamp":1180666116000},"page":"450-463","source":"Crossref","is-referenced-by-count":12,"title":["Fuzzy Prolog: A Simple General Implementation Using (R)"],"prefix":"10.1007","author":[{"given":"Claudio","family":"Vaucheret","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergio","family":"Guadarrama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Susana","family":"Mu\u00f1oz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,10,24]]},"reference":[{"key":"30_CR1","unstructured":"J. F. Baldwin, T.P. Martin, and B.W. Pilsworth. Fril: Fuzzy and Evidential Reasoning in Artificial Intelligence. John Wiley & Sons, 1995."},{"key":"30_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/383721.383725","volume":"23","author":"S. Bistarelli","year":"2001","unstructured":"Stefano Bistarelli, Ugo Montanari, and Francesca Rossi. Semiring-based constraint logic programming: syntax and semantics. In ACM TOPLAS, volume 23, pages 1\u201329, 2001.","journal-title":"ACM TOPLAS"},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"D. Cabeza and M. Hermenegildo. A New Module System for Prolog. In International Conference on Computational Logic, CL2000, number 1861 in LNAI, pages 131\u2013148. Springer-Verlag, July 2000.","DOI":"10.1007\/3-540-44957-4_9"},{"key":"30_CR4","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0020-0255(85)90027-1","volume":"36","author":"D. Dubois","year":"1985","unstructured":"D. Dubois and H. Prade. A review of fuzzy set aggregation connectives. Information Sciences, 36:85\u2013121, 1985.","journal-title":"Information Sciences"},{"key":"30_CR5","first-page":"701","volume":"2","author":"M. Ishizuka","year":"1985","unstructured":"Mitsuru Ishizuka and Naoki Kanai. Prolog-ELF incorporating fuzzy logic. In IJCAI 9, volume 2, pages 701\u2013703, 1985.","journal-title":"IJCAI 9"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J.-L. Lassez. Constraint Logic Programming. In ACM Symp. Principles of Programming Languages, pages 111\u2013119. ACM, 1987.","DOI":"10.1145\/41625.41635"},{"issue":"3","key":"30_CR7","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"J. Jaffar","year":"1992","unstructured":"J. Jaffar, S. Michaylov, P.J. Stuckey, and R.H.C. Yap. The clp(r) language and system. ACM Transactions on Programming Languages and Systems, 14(3):339\u2013395, 1992.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"1","key":"30_CR8","first-page":"5","volume":"1","author":"F. Klawonn","year":"1994","unstructured":"Frank Klawonn and Rudolf Kruse. A \u0141ukasiewicz logic based Prolog. Mathware & Soft Computing, 1(1):5\u201329, 1994.","journal-title":"Mathware & Soft Computing"},{"key":"30_CR9","unstructured":"E.P. Klement, R. Mesiar, and E. Pap. Triangular norms. Kluwer Academic Publishers."},{"key":"30_CR10","doi-asserted-by":"crossref","unstructured":"G. J. Klir and B. Yuan. Fuzzy Sets and Fuzzy Logic. Prentice Hall, 1995.","DOI":"10.1109\/45.468220"},{"issue":"1","key":"30_CR11","first-page":"119","volume":"19","author":"R.C.T. Lee","year":"1972","unstructured":"R.C.T. Lee. Fuzzy logic and the resolution principle. Journal of the Association for Computing Machinery, 19(1):119\u2013129, 1972.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"30_CR12","volume-title":"A Fuzzy Prolog Database System","author":"D. Li","year":"1990","unstructured":"Deyi Li and Dongbo Liu. A Fuzzy Prolog Database System. John Wiley & Sons, New York, 1990."},{"key":"30_CR13","volume-title":"A First Course in Fuzzy Logic","author":"H. T. Nguyen","year":"2000","unstructured":"H. T. Nguyen and E. A. Walker. A First Course in Fuzzy Logic. Chapman & Hall\/Crc, Boca Raton, 2000."},{"key":"30_CR14","unstructured":"A. Pradera. A contribution to the study of information aggregation in a fuzzy environment. PhD thesis, Technical University of Madrid, 1999."},{"key":"30_CR15","doi-asserted-by":"crossref","unstructured":"Z. Shen, L. Ding, and M. Mukaidono. Fuzzy resolution principle. In Proc. of 18th International Symposium on Multiple-valued Logic, volume 5, 1989.","DOI":"10.1109\/ISMVL.1988.5176"},{"key":"30_CR16","unstructured":"Ehud Y. Shapiro. Logic programs with uncertainties: A tool for implementing rule-based systems. In Proceedings of the 8th International Joint Conference on Artificial Intelligence, pages 529\u2013532, Karlsruhe, West Germany, August 1983."},{"issue":"1","key":"30_CR17","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0165-0114(78)90029-5","volume":"1","author":"L. Zadeh","year":"1978","unstructured":"L. Zadeh. Fuzzy sets as a basis for a theory of possibility. Fuzzy sets and systems, 1(1):3\u201328, 1978.","journal-title":"Fuzzy sets and systems"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36078-6_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T21:00:18Z","timestamp":1737061218000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36078-6_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540000105","9783540360780"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-36078-6_30","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}