返回Google圖書搜尋

A Scheme for Compiling GHC to Prolog Using Freeze

Fredrik HolmgrenSwedish Institute of Computer ScienceA. Waern

出版	Swedish Institute of Computer Science, 1987
URL	http://books.google.com.hk/books?id=eqNEGwAACAAJ&hl=&source=gbs_api

註釋"Using the metapredicate freeze, object-oriented programming and process simulation can for several problems be done directly in Prolog, although this is a tiresome and untidy chore. Committed choice languages, on the other hand, provide an elegante [sic] syntax for this type of programs. A scheme is given for compiling Guarded Horn Clauses into sequential Prolog, using Prolog's own scheduling principle. Synchronization is implemented using freeze, thereby avoiding busy wait