Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:miw:piw08_prolog_java [2008/03/26 22:43] miw |
pl:miw:piw08_prolog_java [2008/06/19 18:06] miw |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| - | ====== Opis ====== | ||
| - | |||
| - | Wojciech Leś, Michał Łosiewicz, (IS) keepsake@o2.pl, colesiu@student.agh.edu.pl | ||
| - | |||
| - | Integracja kodu Prologu z Java | ||
| - | |||
| - | porównać z projektami z 2006 roku http://www.ugosweb.com/jiprolog/ http://portal.acm.org/citation.cfm?id=787039 http://www.sics.se/sicstus|SICStus]] | ||
| - | |||
| - | patrz https://ai.ia.agh.edu.pl/wiki/prolog:prolog_tools#java_and_prolog | ||
| - | |||
| - | InterProlog http://www.declarativa.com/interprolog/, description, how to use, does it make any sense? | ||
| - | - najlepiej działa na XSB Prolog, na SWI wg dokumentacji powinno działać, jednak wszystkie przykłady są na XSB, a konwersja wymaga dość dobrej znajomości Interprologa | ||
| - | |||
| - | http://www.swi-prolog.org/packages/jpl/java_api/index.html , do sprawdzenia | ||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | ====== Projekt ====== | ||
| - | |||
| - | Przykład zastosowania bibliotek Interprolog do rozwiązywania sudoku: | ||
| - | |||
| - | http://student.agh.edu.pl/~keepsake/miw/ | ||
| - | |||
| - | Aplikacja jest poglądowa, adres swi jest wpisany na stałe ;), ale dołączony jest plik source. Do działania wymagany jest plik sudoku.pl - który odpowiada za rozwiązanie problemu. | ||
| - | |||
| - | Interprolog komunikuje Javę z Prologiem za pomocą socketów TCP/IP. | ||
| - | |||
| - | A instrukcja obsługi do kompilacji/użycia? | ||
| - | --- //[[gjn@agh.edu.pl|Grzegorz J. Nalepa]] 2008/03/14 17:18// | ||
| - | |||
| - | Wywołanie: java -jar Sudoku.jar [prolog compiler] | ||
| - | |||
| - | np. java -jar Sudoku.jar plcon | ||
| - | |||
| - | Kompilacja: | ||
| - | |||
| - | javac -classpath interprolog.jar Sudoku.java | ||
| - | |||
| - | jar cfm Sudoku.jar manifest *.class | ||
| - | |||
| - | Przepraszam, że tak późno. | ||
| - | --- //[[keepsake@o2.pl|Michał Łosiewicz]] 2008/03/26 22:38// | ||
| - | |||
| - | |||
| - | ====== Sprawozdanie ====== | ||
| - | |||
| - | ====== Materiały ====== | ||
