{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T16:11:11Z","timestamp":1746115871055,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642452833"},{"type":"electronic","value":"9783642452840"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-45284-0_3","type":"book-chapter","created":{"date-parts":[[2013,11,25]],"date-time":"2013-11-25T00:54:34Z","timestamp":1385340874000},"page":"26-42","source":"Crossref","is-referenced-by-count":0,"title":["LogicObjects: Enabling Logic Programming in Java through Linguistic Symbiosis"],"prefix":"10.1007","author":[{"given":"Sergio","family":"Castro","sequence":"first","affiliation":[]},{"given":"Kim","family":"Mens","sequence":"additional","affiliation":[]},{"given":"Paulo","family":"Moura","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"D\u2019Hondt, M., Gybels, K., Jonckers, V.: Seamless Integration of Rule-Based Knowledge and Object-Oriented Functionality with Linguistic Symbiosis. In: Proceedings of the 2004 Symposium on Applied Computing (SAC), pp. 1328\u20131335. ACM (2004)","DOI":"10.1145\/967900.968168"},{"key":"3_CR2","unstructured":"Russel, S., Norvig, P.: Artificial Intelligence, A Modern Approach. Prentice Hall (1995)"},{"key":"3_CR3","unstructured":"Ichisugi, Y., Matsuoka, S., Yonezawa, A.: RbCl: A Reflective Object-Oriented Concurrent Language without a Run-time Kernel. In: International Workshop on New Models for Software Architecture (IMSA): Reflection And Meta-Level Architecture, pp. 24\u201335 (1992)"},{"key":"3_CR4","unstructured":"Gybels, K.: SOUL and Smalltalk - Just Married: Evolution of the Interaction Between a Logic and an Object-Oriented Language Towards Symbiosis. In: Proceedings of the Workshop on Declarative Programming in the Context of Object-Oriented Languages (2003)"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Castro, S., Mens, K., Moura, P.: LogicObjects: A Linguistic Symbiosis Approach to Bring the Declarative Power of Prolog to Java. In: Proceedings of the Workshop on Reflection, AOP and Meta-Data for Software Evolution, RAM-SE (June 2012)","DOI":"10.1145\/2237887.2237890"},{"key":"3_CR6","unstructured":"Singleton, P.: JPL: A Java Interface to Prolog (September 2012), http:\/\/www.swi-prolog.org\/packages\/jpl\/java_api\/index.html"},{"key":"3_CR7","volume-title":"Simply Logical: Intelligent Reasoning by Example","author":"P. Flach","year":"1994","unstructured":"Flach, P.: Simply Logical: Intelligent Reasoning by Example. John Wiley & Sons, Inc., New York (1994)"},{"key":"3_CR8","unstructured":"Moura, P.: Logtalk - Design of an Object-Oriented Logic Programming Language. PhD thesis, Department of Computer Science, University of Beira Interior, Portugal (September 2003)"},{"key":"3_CR9","series-title":"LNAI","first-page":"52","volume-title":"INAP 2009","author":"P. Moura","year":"2011","unstructured":"Moura, P.: Programming Patterns for Logtalk Parametric Objects. In: Abreu, S., Seipel, D. (eds.) INAP 2009. LNCS (LNAI), vol.\u00a06547, pp. 52\u201369. Springer, Heidelberg (2011)"},{"key":"3_CR10","unstructured":"Wuyts, R., Ducasse, S.: Symbiotic Reflection between an Object-Oriented and a Logic Programming Language. In: International Workshop on MultiParadigm Programming with Object-Oriented Languages (2001)"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Brichau, J., De Roover, C., Mens, K.: Open Unification for Program Query Languages. In: Proceedings of the XXVI International Conference of the Chilean Computer Science Society, SCCC 2007 (2007)","DOI":"10.1109\/SCCC.2007.16"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Wuyts, R.: Declarative Reasoning about the Structure of Object-Oriented Systems. In: Proceedings of the TOOLS USA 1998 Conference, pp. 112\u2013124. IEEE Computer Society Press (1998)","DOI":"10.1109\/TOOLS.1998.711007"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/11603023_7","volume-title":"Practical Aspects of Declarative Languages","author":"K. Volder De","year":"2005","unstructured":"De Volder, K.: JQuery: A generic code browser with a declarative configuration language. In: Van Hentenryck, P. (ed.) PADL 2006. LNCS, vol.\u00a03819, pp. 88\u2013102. Springer, Heidelberg (2005)"},{"key":"3_CR14","unstructured":"Semmle Ltd.: SemmleCode (2010), http:\/\/semmle.com\/"},{"key":"3_CR15","unstructured":"Boulanger, D., Geske, U.: Using Logic Programming in Java Environment (Extended Abstract). Technical Report\u00a010, Knowledge-Based Systems Group, Vienna University of Technology, Austria (1998)"},{"key":"3_CR16","unstructured":"Friedrich Bolz, C.: Pyrolog: A Prolog interpreter written in Python using the PyPy translator toolchain, https:\/\/bitbucket.org\/cfbolz\/pyrolog\/"},{"key":"3_CR17","unstructured":"Paul Tarau, P.: Styla: a lightweight Scala-based Prolog interpreter based on a pure object oriented term hierarchy, http:\/\/code.google.com\/p\/styla\/"},{"key":"3_CR18","volume-title":"Jess in Action: Java Rule-based Systems","author":"E. Friedman-Hill","year":"2003","unstructured":"Friedman-Hill, E.: Jess in Action: Java Rule-based Systems. Manning, Greenwich (2003)"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Cimadamore, M., Viroli, M.: Integrating Java and Prolog Through Generic Methods and Type Inference. In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), pp. 198\u2013205. ACM (2008)","DOI":"10.1145\/1363686.1363740"},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-22531-4_8","volume-title":"Functional and Constraint Logic Programming","author":"T.A. Majchrzak","year":"2011","unstructured":"Majchrzak, T.A., Kuchen, H.: Logic java: combining object-oriented and logic programming. In: Kuchen, H. (ed.) WFLP 2011. LNCS, vol.\u00a06816, pp. 122\u2013137. Springer, Heidelberg (2011)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45284-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T22:57:41Z","timestamp":1746053861000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-45284-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642452833","9783642452840"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45284-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}