A Meta-Level Extension of Prolog. - Kenneth A. Bowen; Tobias Weinberg (SLP, 1985)