{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,31]],"date-time":"2026-07-31T20:34:40Z","timestamp":1785530080932,"version":"3.56.0"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031352539","type":"print"},{"value":"9783031352546","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-35254-6_27","type":"book-chapter","created":{"date-parts":[[2023,6,16]],"date-time":"2023-06-16T13:02:35Z","timestamp":1686920555000},"page":"334-345","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Prolog in\u00a0Automated Reasoning in\u00a0Geometry"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0526-899X","authenticated-orcid":false,"given":"Vesna","family":"Marinkovi\u0107","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2023,6,17]]},"reference":[{"key":"27_CR1","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/11591191_18","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"M Bezem","year":"2005","unstructured":"Bezem, M., Coquand, T.: Automating coherent logic. In: Sutcliffe, G., Voronkov, A. (eds.) LPAR 2005. LNCS (LNAI), vol. 3835, pp. 246\u2013260. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11591191_18"},{"issue":"3","key":"27_CR2","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1016\/j.jsc.2005.09.007","volume":"41","author":"B Buchberger","year":"2006","unstructured":"Buchberger, B.: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. J. Symb. Comput. 41(3), 475\u2013511 (2006)","journal-title":"J. Symb. Comput."},{"key":"27_CR3","doi-asserted-by":"crossref","unstructured":"Cervoni, L., Brasseur, J., Rohmer, J.: Simultaneously teaching Mathematics and Prolog in School Curricula: a mutual benefit. In: Warren, D.S., Dahl, V., Eiter, T., Hermenegildo, M., Kowalski, R., Rossi, F. (eds.) Prolog - The Next 50 Years. No. 13900. LNCS, Springer (July 2023)","DOI":"10.1007\/978-3-031-35254-6_10"},{"key":"27_CR4","doi-asserted-by":"crossref","unstructured":"Chou, S.C., Gao, X.S.: Automated reasoning in geometry. Handbook of Automated Reasoning 5(1) (2001)","DOI":"10.1016\/B978-044450813-3\/50013-8"},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"Chou, S.C., Gao, X.S., J.Z., Z.: Automated production of traditional proofs for constructive geometry theorems. In: Proceedings of the Eighth Annual IEEE Symposium on Logic in Computer Science LICS, pp. 48\u201356 (1993)","DOI":"10.1109\/LICS.1993.287601"},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"Chou, S.C., Gao, X.S., Zhang, J.Z.: Automated generation of readable proofs with geometric invariants, ii. theorem proving with full-angles. J. Automated Reasoning 17 (1996)","DOI":"10.1007\/BF00283134"},{"key":"27_CR7","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/BF00248249","volume":"2","author":"H Coelho","year":"1986","unstructured":"Coelho, H., Pereira, L.M.: Automated reasoning in geometry theorem proving with prolog. J. Autom. Reason. 2, 329\u2013390 (1986)","journal-title":"J. Autom. Reason."},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"Font, L., Cyr, S., Richard, P., Gagnon, M.: Automating the generation of high school geometry proofs using prolog in an educational context. In: Electronic Proceedings in Theoretical Computer Science, vol. 313, pp. 1\u201316 (2020)","DOI":"10.4204\/EPTCS.313.1"},{"key":"27_CR9","unstructured":"Gelernter, H.: Realization of a geometry-theorem proving machine. Computers & thought, pp. 134\u2013152 (1995)"},{"issue":"1\u20132","key":"27_CR10","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10817-009-9135-8","volume":"44","author":"P Jani\u010di\u0107","year":"2010","unstructured":"Jani\u010di\u0107, P.: Geometry constructions language. J. Autom. Reason. 44(1\u20132), 3\u201324 (2010)","journal-title":"J. Autom. Reason."},{"issue":"3","key":"27_CR11","first-page":"723","volume":"9","author":"P Jani\u010di\u0107","year":"1995","unstructured":"Jani\u010di\u0107, P., Kordi\u0107, S.: Euclid - the geometry theorem prover. FILOMAT 9(3), 723\u2013732 (1995)","journal-title":"FILOMAT"},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"Mari\u0107, F., Petrovi\u0107, I., Petrovi\u0107, D., Jani\u010di\u0107, P.: Formalization and implementation of algebraic methods in geometry. In: Proceedings First Workshop on CTP Components for Educational Software. Electronic Proceedings in Theoretical Computer Science, vol. 79, pp. 63\u201381 (2012)","DOI":"10.4204\/EPTCS.79.4"},{"key":"27_CR13","unstructured":"Marinkovi\u0107, V.: Online compendium of problems from Wernick\u2019s and Connelly\u2019s corpora in Euclidean setting (2015). http:\/\/www.matf.bg.ac.rs\/~vesnap\/animations\/compendiums.html"},{"issue":"2","key":"27_CR14","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1080\/0952813X.2015.1132271","volume":"29","author":"V Marinkovi\u0107","year":"2017","unstructured":"Marinkovi\u0107, V.: ArgoTriCS - automated triangle construction solver. J. Exp. Theoretical Artif. Intell. 29(2), 247\u2013271 (2017)","journal-title":"J. Exp. Theoretical Artif. Intell."},{"key":"27_CR15","unstructured":"Marinkovi\u0107, V.: Online compendium of problems from Wernick\u2019s corpus in hyperbolic setting. http:\/\/poincare.matf.bg.ac.rs\/~vesnap\/animations_hyp\/compendium_wernick_hyperbolic.html(2021)"},{"key":"27_CR16","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/978-3-642-31374-5_9","volume-title":"Intelligent Computer Mathematics","author":"V Marinkovi\u0107","year":"2012","unstructured":"Marinkovi\u0107, V., Jani\u010di\u0107, P.: Towards understanding triangle construction problems. In: Jeuring, J., Campbell, J.A., Carette, J., Dos Reis, G., Sojka, P., Wenzel, M., Sorge, V. (eds.) CICM 2012. LNCS (LNAI), vol. 7362, pp. 127\u2013142. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-31374-5_9"},{"key":"27_CR17","doi-asserted-by":"crossref","unstructured":"Marinkovi\u0107, V., \u0160ukilovi\u0107, T., Mari\u0107, F.: On automating triangle constructions in absolute and hyperbolic geometry. In: EPTCS 352, Proceedings of the 13th International Conference on Automated Deduction in Geometry, p. 14\u201326 (2021)","DOI":"10.4204\/EPTCS.352.3"},{"key":"27_CR18","unstructured":"Schreck, P.: Constructions \u00e0 la r\u00e8gle et au compas. Ph.D. thesis, University of Strasbourg (1993)"},{"key":"27_CR19","first-page":"69","volume":"16","author":"P Schreck","year":"2016","unstructured":"Schreck, P., Mathis, P., Marinkovi\u0107, V., Jani\u010di\u0107, P.: Wernick\u2019s list: a final update. Forum Geometricorum 16, 69\u201380 (2016)","journal-title":"Forum Geometricorum"},{"key":"27_CR20","doi-asserted-by":"crossref","unstructured":"Warren, D.S.: Introduction to Prolog. In: Warren, D.S., Dahl, V., Eiter, T., Hermenegildo, M., Kowalski, R., Rossi, F. (eds.) Prolog - The Next 50 Years. No. 13900. LNCS, Springer (July 2023)","DOI":"10.1007\/978-3-031-35254-6"},{"issue":"4","key":"27_CR21","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1080\/0025570X.1985.11976988","volume":"55","author":"W Wernick","year":"1982","unstructured":"Wernick, W.: Triangle constructions with three located points. Math. Mag. 55(4), 227\u2013230 (1982)","journal-title":"Math. Mag."},{"issue":"2","key":"27_CR22","first-page":"159","volume":"21","author":"WT Wu","year":"1978","unstructured":"Wu, W.T.: On the decision problem and the mechanization of theorem-proving in elementary geometry. Sci. Sinica 21(2), 159\u2013172 (1978)","journal-title":"Sci. Sinica"}],"container-title":["Lecture Notes in Computer Science","Prolog: The Next 50 Years"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-35254-6_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T12:15:17Z","timestamp":1729599317000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-35254-6_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031352539","9783031352546"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-35254-6_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"17 June 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}