Symbolic Occam

Occam is a fine grain process based programming language from the concurrent programming stable. Occam is minimal and efficient on transputers because of the hardware support for process scheduling and synchronization the hardware provides. Yet, Occam has been described as concurrent Fortran. Like Fortran, Occam is not ideally suited for symbolic, knowledge based applications. The language is inflexible, it does not support recursion, abstract data types, dynamic data structures and dynamic process creation. Occam code is not a first class object. As a result, the language is not well adapted to advanced AI programming techniques such as pattern matching, metaprogramming, partial evaluation and abstract interpretation