Java+Prolog: A Land of Opportunities
Structure of presentation
Motivation
Background: Prolog
Background: Java platform
Background: Java Reflection
Background: Object Serialization
Background: Java Serialization
How to combine Java and Prolog ?
Java in Prolog ??
Prolog in Java ?
Prolog in Java: some issues
Minerva
Minerva: adding a built-in
Minerva: calling from Java
Jinni
A Jinni applet
Jinni: adding a built-in
Prolog+Java
Prolog+Java: issues
Jasper (Sicstus)
Jasper (Sicstus): calling Java
Jasper (Sicstus): calling Prolog
InterProlog (XSB Prolog)
XSB/Java architecture
Java side: PrologEngine
PPT Slide
Top Level listener
Object/term interface: a DCG
An object specification example
How to build object specifications
Object specification helpers
Pre-defined object specifiers
PrologEngine example
Programming on the Prolog side
Hello World with a callback
More on the javaMessage predicate
javaMessage implementation
Example with callback
Hello, World
Control flow in GUI example
Term displayers
A term “model” class
A term browser
Call graph displayer
Conclusion
Home Page: http://dev.servisoft.pt/interprolog
Declarativa - Serviços de Informática, Lda. R. Cerca 88, 4150-200 Porto, Portugal http://www.declarativa.com email: info@declarativa.com fax: +351-22-610 9574 tel: +351-22-610 9516
Declarativa