SP

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)].