list_print([H|T]) :=
    write(H),
    write("  "),
    list_print(T).

list_print(_).

list_bind([H|T] :=
    bind(H),
    list_bind(T).
list_bind(_).

%tafeln
tafeln([H|T],F) :-
    list_bind([H|T]).
    list_print([H|T]).
    exp(F,Res).

    write("  |  "),
    write(Res),

    nl,
    fail.
tafeln(_,_).