To jest stara wersja strony!


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

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 WAM links

Different languages on JVM including Prolog.

http://www.artima.com/insidejvm/ed2/ - książka traktująca o budowie JVM

pl/miw/miw08_ruleruntimel.1205790094.txt.gz · ostatnio zmienione: 2019/06/27 15:58 (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