main :- klitcl:klitcl_init(S), : klitcl:tcl_eval("button .b -command \ {klic main pushed foo bar}",_)-S, : pushed(Args,I,O) :- : klitcl:tk_wait(I,O).