bigger(batuta,marker).bigger(marker,pencil).bigger(X,Z) :- bigger(X,Y), bigger(Y,Z).
?: bigger(batuta,pencil).
Standard output is empty
The brand new service which powers Ideone!
Widget for compiling and running the source code in a web browser!