Kenneth A. Bowen Tobias Weinberg A Meta-Level Extension of Prolog. 48-53 1985 SLP db/conf/slp/slp85.html#BowenW85