paulo@alexandria ~$ gprolog
GNU Prolog 1.4.4 (32 bits)
Compiled Aug 3 2013, 20:07:38 with gcc
By Daniel Diaz
Copyright (C) 1999-2013 Daniel Diaz
| ?- consult('test.prolog').
compiling /home/paulo/test.prolog for byte code...
/home/paulo/test.prolog compiled, 9 lines read - 1114 bytes written, 4 ms
(1 ms) yes
| ?- hasbugs(imakeidx).
true ? .
Action (; for next solution, a for all solutions, RET to stop) ?
yes
| ?- hasbugs(hyperref).
true ? .
Action (; for next solution, a for all solutions, RET to stop) ?