Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:miw:miw08_ruleruntimeo [2008/03/14 23:49] miw |
pl:miw:miw08_ruleruntimeo [2008/06/14 14:46] gjn |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| - | ====== Opis ====== | ||
| - | **Grzegorz Caban**, <grzegorz.caban@gmail.com> | ||
| - | |||
| - | Investigate runtime integration aspects, mainly the integration of the Object-Oriented Model in Prolog with a Java VC possibilities executable design, LogTalk, etc. | ||
| - | * input Java, OO Prolog documentation, MVC concept. [[http://www.prologonlinereference.org/oop.psp|Prolog OOP]], [[http://www.logtalk.org|LogTalk]], [[http://www.trinc-prolog.com/doc/pl_obj.htm|TrincProlog]], [[http://www.sics.se/isl/sicstuswww/site/index.html|SICStus Prolog]] | ||
| - | * output | ||
| - | Feasibility study, a prototype. | ||
| - | |||
| - | ====== Spotkania =========== | ||
| - | ==== 08.03.04 ==== | ||
| - | |||
| - | ==== 08.03.18 ==== | ||
| - | * integr LogTalk+Java | ||
| - | * porówn Sicstus LT | ||
| - | * zbadać http://www.ncc.up.pt/yap/documentation.html http://amzi.com/ | ||
| - | |||
| - | ====== Projekt ====== | ||
| - | ==== Integracja LogTalk'a z Java ==== | ||
| - | Opierając się na przykładzie znalezionym na [[https://dev.crazydwarves.org/ProjetM1TER|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. | ||
| - | |||
| - | [[http://www.swi-prolog.org/packages/jpl/|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ą : | ||
| - | <code java> | ||
| - | 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" ) | ||
| - | ); | ||
| - | </code> | ||
| - | 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 : | ||
| - | <code prolog> | ||
| - | jpl_new( 'javax.swing.JFrame', ['frame with dialog'], F) | ||
| - | </code> | ||
| - | Natomiast predykat **jpl_call/4** pozwala wywołać metodę na utworzonym powyżej obiekcie: | ||
| - | <code prolog> | ||
| - | jpl_call( F, setVisible, [@(true)], _) | ||
| - | </code> | ||
| - | |||
| - | 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 [[https://dev.crazydwarves.org/ProjetM1TER/browser/trunk/src/fr/up5/mi/etu/vnfc/argumentation/engine/LogtalkEngine.java|LogTalkEngine]] | ||
| - | |||
| - | |||
| - | ==== Analiza istniejących rozwiązań==== | ||
| - | * [[http://www.ncc.up.pt/yap/documentation.html|yap]] - yap jako wysoko wydajny kompilator Prologa, wzbogacony o takie funkcjonalności jak : strumienie We/Wy, socket'y, moduły wyjątki, debugger itp. nie wydaje się być narzędziem przydatnym w tym projekcie, zwłaszcza że gdy w jego dokumentacji pojawia się temat obiektowości polecane jest użycie LogTalk'a, który swoją drogą podobno dość dobrze się integruje z yap'em. | ||
| - | * [[http://amzi.com/|amzi]] - narzędzie płatne, choć można wykorzystywać do celów akademickich za darmo, niestety bez źródeł. Bardzo dobrze udokumentowane. Posiada interface do używania prologa z Javy, poprzez obiekt klasy LogicServer możemy się łatwo odwoływać do bazy wiedzy Prologa, w sposób przypominający przesyłanie zapytań do bazy danych.Natomiast dokładna dokumentacja : [[http://www.amzi.com/manuals/amzi7/ls/lsfrtop.htm|LogicServer API]]. Rozwiązanie wydaje się być zbliżone do SICStus'a. Wygląda na brak wsparcia dla obiektowości. | ||
| - | * [[http://www.sics.se/isl/sicstuswww/site/index.html|SICStus Prolog]] - umożliwia integracje aplikacji napisanej w Prologu z inna napisana w Java/.NET poprzez **PrologBeans**. Klient, aplikacja JAVA'owowa przesyła komunikaty, które są odpowiednio oceniane przez server-Prolog'a, obie aplikacje są osobnymi procesami, komunikują się przez sockety TCP, czyli w architekturze klient-serwer. SICStus Prolog wspiera także obiektowość poprzez moduł "The Objects Package—library(objects)", czyli zapewnia enkapsulacje, dziedziczenie itp. | ||
| - | |||
| - | * [[http://www.logtalk.org|LogTalk]] - własne wsparcie dla obiektowości, poprzez LogTalk objects, zapewnia wszystkie podstawowe wymagania. Nie znalazłem bezpośredniego wsparcia dla integracji z innymi platformami, natomiast dokumentacja wspomina o takich możliwościach, dzięki [[http://logtalk.org/manuals/userman/programming.html#programming_portability|"wysoko poziomowemu mapowaniu obiektów LogTalk"]].. Szczegóły na razie nie znane, ale przykład integracji Javy z LogTalk [[https://dev.crazydwarves.org/ProjetM1TER|tutaj]] | ||
| - | |||
| - | |||
| - | * [[http://www.prologonlinereference.org/oop.psp|Prolog OOP]] - umożliwia stosowanie prolog'owych modułów do za modelowania obiektowości, umożliwia wykorzystywanie wiekszości podstawowych predykatów obiektowości takich jak: | ||
| - | * dziedziczenie modułów | ||
| - | * enkapsulacje predykatów | ||
| - | * abstrakcyjne definiowanie modułów | ||
| - | |||
| - | |||
| - | Natomiast nie ma w nim mowy o możliwościach integracji Prologa z innym obiektowym językiem, to jest tylko próba wprowadzenia obiektowości do samego Prologa. | ||
| - | |||
| - | |||
| - | |||
| - | * [[http://www.trinc-prolog.com/doc/pl_obj.htm|TrincProlog]] - oferuje właściwie analogiczny pomysł, czyli rozszerzenie prologa o obiektowość. Tyle, że tym razem dodatkowe słowa kluczowe pozwalają na deklarowanie klas niezależnie od modułów (czyli np kilka klas w jednym module, itp ). Tyle, że niestety znowu brak możliwości integracji z innymi językami. Obiecująco wyglądała część do [[http://www.trinc-prolog.com/doc/pl_win.htm|tworzenia aplikacji Windows]], ale okazało się że jest już gotowe API pozwalające odwoływać się do obiektów GUI (Window, Button, itp.) poprzez predykaty prologa. Być może można by wykorzystać to API od odwoływania się do dowolnych obiektów, zbudować analogiczne? | ||
| - | |||
| - | |||
| - | |||
| - | |||
| - | ====== Sprawozdanie ====== | ||
| - | ====== Materiały ====== | ||
