SWI-Prolog
btnlq