test2

condition(A,_) :-
    A = 2.

condition2(A,_,_) :-
    A = [2].

f(_) :-
    print('Hi, this is f.'),nl.

g :-
    print('Hello, my name is g.'),nl.

gen_list(0,[2]).

gen_list(Length,O) :-
    Length>0,
    O = [1|T],
    L1 is Length - 1,
    gen_list(L1,T).

my_append([],X,X) :- !.

my_append([H|T],Y,[H|O2]) :-
    my_append(T,Y,O2).

my_member(X,[X|_]).

my_member(X,[_|T]) :- !,
    my_member(X,T).

naming_it(my_member,_,member_cut).

naming_it(my_append,_,append).

not_profiled_but_including_coro(X) :-
    when(ground(X),(write(X),nl,nl)).

not_profiled_but_including_coro2(X) :-
    when(ground(X),(write(X),nl)).

test1(X,Y) :-
    profiler:prof_on(test1),
    my_member(X,Y),
    profiler:prof_off(test1).

test2(X,Y) :-
    profiler:prof_on(test2),
    ((Y=[X|_]);(!,Y=[_|T],test2(X,T))),
    profiler:prof_off(test2).

testing :-
    call(f(1)),
    g,
    gen_list(5,[1,1,1,1,1,2]),
    my_member(2,[1,2,3]),
    my_append([1,2,3],[4,5,6],[1,2,3,4,5,6]).