Simplicity and Power.
A Prolog-like language.
["Simplicity and Power - Simplifying Ideas in Computing", J.G. Wolff, Computer J 33(6):518-534 (Dec 1990)].