Różnice

Różnice między wybraną wersją a wersją aktualną.

Odnośnik do tego porównania

pl:miw:miw08_ruleruntimel [2008/03/04 11:54]
gjn
pl:miw:miw08_ruleruntimel [2019/06/27 15:50]
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. 
- 
-===== 08.03.18 ===== 
-  * przegląd http://​www.robert-tolksdorf.de/​vmlanguages.html 
-  * listy dyskusyjne hlvm 
- 
-====== Projekt ====== 
- 
-====== 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. 
  
pl/miw/miw08_ruleruntimel.txt · ostatnio zmienione: 2019/06/27 15:50 (edycja zewnętrzna)
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0