Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:miw:miw08_ruleruntimel [2008/03/18 10:32] gjn |
pl:miw:miw08_ruleruntimel [2008/06/14 10:51] gjn |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| - | ====== Opis ====== | ||
| - | Andrzej, Jasiński, [[jasiu@tuxpowered.net]] | ||
| - | |||
| - | Investigate runtime integration aspects, mainly virtual machine runtimes | ||
| - | * input: WAM, and it implementation, can it be somehow related with existing VMs | ||
| - | * output: LLVM/HLVM, WAM, JVM | ||
| - | |||
| - | ====== Spotkania ====== | ||
| - | |||
| - | |||
| - | ===== 08.03.04 ===== | ||
| - | TODO: | ||
| - | * arch komp, ew. zgodność arch wam z hlvm, jvm | ||
| - | * czy są/były bezp. impl. prologu na JVM | ||
| - | |||
| - | .NET | ||
| - | http://www.dcs.ed.ac.uk/home/stg/Psharp/ | ||
| - | http://hodroj.net/cs/files/3/default.aspx | ||
| - | |||
| - | JAVA VM | ||
| - | http://www.binnetcorp.com/OpenCode/free_prolog.html | ||
| - | http://sourceforge.net/projects/prologpluscg (ale chyba to niezupełnie to) | ||
| - | http://alice.unibo.it/xwiki/bin/view/Tuprolog/ | ||
| - | Z tym, że są to raczej parsery prolog->java i dopiero uruchomienie | ||
| - | |||
| - | * możliwość translacji, implementacji WAM na HLVM/JVM | ||
| - | |||
| - | translacja kodu Prolog -> Java -> ByteCode jak najbardziej, z tego co jest napisane w internecie Prolog -> uruchomienie na JVM już raczej nie (inne języki niż Java podobno ciężko uruchuchomić). Co do HLVM to twórcy piszą na stronie, że ich celem jest umożliwienie uruchamiania na HLVM programów pisanych m.in. w Prolog-u. | ||
| - | |||
| - | |||
| - | ===== 080318 ===== | ||
| - | * przegląd http://www.robert-tolksdorf.de/vmlanguages.html | ||
| - | * listy dyskusyjne hlvm | ||
| - | |||
| - | ===== 080408 ===== | ||
| - | * zarys sprawozdania, na razie w wiki: | ||
| - | * co to jest hlvm, założenia, cele | ||
| - | * stan faktyczny na 03.2008 | ||
| - | * czy (i jak?) //teoretycznie// dałoby się uruchomić prolog na hlvm (na podst. ich dokum) | ||
| - | * podejścia do urucham prologu na JVM | ||
| - | * podejścia Prolog->bytecode... | ||
| - | * jinni, etc | ||
| - | |||
| - | ====== Projekt ====== | ||
| - | |||
| - | Większość z dostępnych implementacji polega na interpretowaniu przez program napisany w Javie kodu pisanego w Prolog-u. Istnieją implementacje np | ||
| - | http://www.binnetcorp.com/Jinni/ umożliwiające skopilowanie programu prologa do bytecodu a następnie uruchomienie w javie ( przez dodatkowe klasy uruchamiające(własne class loadery?)) | ||
| - | |||
| - | Co do list HLVM to wyglądają na martwe (o ile dobrze patrze do ostatni wpis jest z 2007 roku) i brak jest informacji odnośnie tworzenia pluginów do HLVM. | ||
| - | |||
| - | ====== Sprawozdanie ====== | ||
| - | |||
| - | |||
| - | ====== Materiały ====== | ||
| - | See [[https://ai.ia.agh.edu.pl/wiki/prolog:prolog_research#wam|WAM links]] | ||
| - | |||
| - | Different [[http://www.robert-tolksdorf.de/vmlanguages.html|languages on JVM]] including Prolog. | ||
| - | |||
| - | http://www.artima.com/insidejvm/ed2/ - książka traktująca o budowie JVM | ||
