CORAL 66:
A real-time system programming language derived from JOVIAL and ALGOL 60. It
was adopted as the British military standard from 1970 until the arrival of
Ada.
Parlog:
An AND-parallel Prolog, with guards and committed choice nondeterminism
(don't care nondeterminism). Shallow backtracking only.
Received on Wed Jan 20 1999 - 11:59:44 GMT
This archive was generated by hypermail 2.3.0
: Fri Oct 10 2014 - 23:32:07 BST