
------------------------------
List of files of UMA Forum 0.1
-------------------------------

Interpreter:
-----------

   forum.pl          -  interpreter main file
   forum.ql          -  SICStus Prolog object file
   bp_unix.pl        -  BinProlog/Unix port
   bp_win.pl         -  BinProlog/Windows port
   sicstus_unix.pl   -  SICStus Prolog/Unix port
   sicstus_unix.ql   -  SICStus Prolog object file
   forumbu.pl        -  BinProlog/Unix project file
   forumbw.pro       -  BinProlog/Windows project file
   forumsu.pl        -  SICStus/Unix project file
   forum.ini         -  configuration file


Examples:
--------


   HELLO         hello, world!
   FACTORIAL     computig factorials
   LPLISTS       lambda Prolog lists
   PLISTS        Prolog lists
   TENSOR        a simple performance benchmark
   ORDER         a simple example showing clause order preservation
   USE_ONE       "use one, discard the rest" example
   SYNC          synchronous connectives definition
   AUTOMATON     encoding a finite automaton into Forum
   SWITCH1       toggling a switch
   SWITCH2       toggling a switch
   PERM1         permuting a multiset of items
   PERM2         permuting a list of items
   YALE          the Yale Shooting Problem
   URN           the game of the urn
   PCUSB         producer/consumer unbounded single-buffer
   PCUMB         producer/consumer unbounded multi-buffer
   PCBSB         producer/consumer bounded single-buffer
   PCBMB         producer/consumer bounded multi-buffer
   PATHS1        searching a path in a graph (without cycling!)
   PATHS2        searching a path in a graph (without cycling!)
   FOLD          folding a multiset



