Red pill languages

In the 1980s and early 1990s there was a global ``spontaneous order'' push towards intelligent computing and greater man machine symbiosis. Most people are familiar with the surface institutions of this effort such as ICOT/MITI's Fifth Generation Computer Systems Project or the work of Symbolics and Tietleman's research group at Xerox PARC in the United States. But the roots run deeper than that.

Towards this end a number of very different programming languages were borught into existence. I list a few below:

OBJ3, CafeOBJ, Maude, Bloom, Daedelus, STELLA, ABCL/R2, AP5, ACL2, CLIPS, Logtalk, AP5, MENDEL/88, KL1, A'UM, GOLOG, occam, FLORA-2, Orgel

symbolise my anus