Na podstawie własnych doświadczeń. Aby utworzyć, skompilować i załądować do pamieci obiekty LogTalk'a konieczne jest wcześniejsze skonfigurowanie używanego kompilatora Prolog'a. Na potrzeby tego projektu zakładam, że jest nim SWI-Prolog, jakkolwiek jeśli wierzyć dokumentacji LogTalk'a to jest on w pełni kompatybilny z większościa innych kompilatorów Prolog'a.
Aby zintegrować LogTalk'a z SWI:
należy wykonać predykat consult na trzech plikach, które można znaleźć w katalogu instalacyjnym LogTalk'a :
*configs/swi.config - ustawia zmienne i konfiguruj srodowisko Prologa
*complier/logtalk.pl - laduje kompilator LogTalka
*libpaths/libpaths.pl - ustawia sciezki do bibliotek standardowych LogTalka
chyba najwygodniej jest sporządzić sobie plik startowy:
:-consult('lib/Resources/logtalk/swi.config').
:-consult('lib/Resources/logtalk/logtalk.pl').
:-consult('lib/Resources/logtalk/libpaths.pl').
który pożniej uruchamiamy z Javy przed tworzeniem obiektów LogTalk, w następujący sposób:
JPL.setDefaultInitArgs(
new String[] {
"pl",
"-f", "none",
"-g", "set_prolog_flag(debug_on_error,false)",
"-q",
"-nosignals"
}
);
Query q = new Query("['lib/logtalkLoad.pl'].");
if (!q.hasSolution())
{
RuntimeException e = new RuntimeException("error loading logtalk");
}
else
{
System.out.println("Hurray!");
}
Po udanym wykonaniu powyższego kodu jesteśmy już w stanie tworzyć obiekty LogTalk z kodu Javy i wywoływać ich metody :
//utworznie instancji obiektu logTalkControler
Query loadControler = new Query("logtalk_load",
new Term[]{
new Atom("logTalkControler")
}
);
//wywolanie metody testValue obiektu logTalkControler
Query askLgt = new Query("logTalkControler::testValue(valueToTest).");
Pełną treść tego przykładu zamieszczam tutaj LogTalkToJavaExample.
Opierając się na przykładzie znalezionym na stronie jednym z sposobów integracji obiektów LogTalk z Java jest użycie jednego z pakietów SWI_Prolog, JPL : Java to Prolog Interface.
JPL który oferuje dwustronny interface pomiędzy Prologiem a Java.
Probując wywołać predykat Prologa z kodu Javy posługujemy się następującą składnią :
Query q2 =
new Query(
"child_of",
new Term[] {new Atom("joe"),new Atom("ralf")}
);
System.out.println(
"child_of(joe,ralf) is " +
( q2.query() ? "provable" : "not provable" )
);
Przykład pokazuje przesłanie zapytania do bazy wiedzy prologa. Można ten mechanizm wykorzystać do wywoływania predykatów wewnątrz obiektów LogTalk, czyli de facto do wywoływania metod na obiektach LogTalk z obiektów Java'y.
Gdy konieczne jest wysłanie komunikatu do obiektu Java'y z poziomu Prologa, JPL oferuje następujące rozwiązanie :
Predykat jpl_new/3 pozwala na utworzenie instancji obiektu klasy z Javy :
jpl_new( 'javax.swing.JFrame', ['frame with dialog'], F)
Natomiast predykat jpl_call/4 pozwala wywołać metodę na utworzonym powyżej obiekcie:
jpl_call( F, setVisible, [@(true)], _)
Jak widać JPL umożliwia obustronne wywoływanie metod pomiędzy obiektami klas zdefiniowanych w Javie i w Prologu. Jeżeli dodać do tego obiektowość oferowaną przez LogTalk to wydaje się, że jest to zestaw spełniający dane wymagania. Przykład całej klasy napisanej w Javie, służącej do komunikacji z obiektami LogTalk znajduje się tutaj LogTalkEngine