Parlog - Parlog

Parlog je logický programovací jazyk navržen pro efektivní využití paralelní počítač architektury. Jeho sémantika je založena na logika predikátu prvního řádu. Vyjadřuje to konkurence, meziprocesová komunikace, neurčitost a synchronizace v rámci deklarativní jazyk rámec.[1]

Byl navržen na Imperial College, Londýn Steve Gregory a Keith L. Clark, jako potomek IC Prolog a Relační jazyk.[2][3]

Další čtení

  • Tom Conlon, „Programování v Parlogu“, Addison-Wesley

Reference

  1. ^ Andrew Cheese, „Parallel execution of Parlog“, Springer, 1992, ISBN  3-540-55382-7, 184 stran.
  2. ^ „Programování distribuovaných systémů“, autor: H. E. Bal, str. 91-93
  3. ^ Steve Gregory, „Parallel Logic Programming in Parlog: The Language and its Implementation“, ISBN  0-201-19241-1, Addison-Wesley, 1987