Prolog
Generalisation of
Van Emden and Kowalsi extended Prolog (7890)