http://www.realtime-info.be/encyc/techno/terms/99/19.htm http://www.realtime-info.be/encyc/techno/terms/6/68.htm 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.