Multi-paradigm Java-Prolog integration in tuProlog

作者: Enrico Denti , Andrea Omicini , Alessandro Ricci

DOI: 10.1016/J.SCICO.2005.02.001

关键词: Java concurrencyJava API for XML-based RPCReal time JavaComputer scienceProgramming languageJava annotationJava Modeling LanguagestrictfpGenerics in JavaJava

摘要: … a Java-based Prolog engine explicitly designed to be minimal, dynamically configurable, and support full and clean Prolog/Java … and architecture of the tuProlog system. Then, we focus …

参考文章(17)
AbdelAli Ed-Dbali, Pierre Deransart, Laurent Cervoni, Prolog: The Standard : Reference Manual ,(2011)
David Wakeling, Mobile Haskell: Compiling Lazy Functional Programs for the Java Virtual Machine Lecture Notes in Computer Science. pp. 335- 352 ,(1998) , 10.1007/BFB0056624
Atsushi Igarashi, Mirko Viroli, On Variance-Based Subtyping for Parametric Types european conference on object oriented programming. pp. 441- 469 ,(2002) , 10.1007/3-540-47993-7_19
Enrico Denti, Andrea Omicini, Alessandro Ricci, tu Prolog: A Light-Weight Prolog for Internet Applications and Infrastructures practical aspects of declarative languages. pp. 184- 198 ,(2001) , 10.1007/3-540-45241-9_13
Enrico Denti, Andrea Omicini, LuCe: A Tuple-based Coordination Infrastructure for Prolog and Java Agents Autonomous Agents and Multi-Agent Systems. ,vol. 4, pp. 139- 141 ,(2001) , 10.1023/A:1010039317965
Andrea Omicini, Franco Zambonelli, Coordination for Internet Application Development Autonomous Agents and Multi-Agent Systems. ,vol. 2, pp. 251- 269 ,(1999) , 10.1023/A:1010060322135
Andrea Omicini, Antonio Natali, Object-Oriented Computations in Logic Programming european conference on object oriented programming. pp. 194- 212 ,(1994) , 10.1007/BFB0052184
Erik Meijer, Sigbjorn Finne, Lambada, Haskell as a better Java Electronic Notes in Theoretical Computer Science. ,vol. 41, pp. 91- 119 ,(2001) , 10.1016/S1571-0661(05)80549-3
Nick Benton, Andrew Kennedy, George Russell, Compiling standard ML to Java bytecodes international conference on functional programming. ,vol. 34, pp. 129- 140 ,(1998) , 10.1145/289423.289435
Mike Joy, Gary Meehan, Compiling lazy functional programs to Java bytecode Software - Practice and Experience. ,vol. 29, pp. 617- 645 ,(1999) , 10.1002/(SICI)1097-024X(199906)29:7<617::AID-SPE250>3.3.CO;2-5