1. Bharat Jayaraman.

["Towards a Broader Basis for Logic Programming", B. Jayaraman, TR CS Dept, SUNY Buffalo, 1990].

2. Schema Representation language.

3. Structured Robot Language.

C. Blume & W. Jacob, U Karlsruhe.