name(logname).
is_name(V) :-
 name(V), !,
 write('Eureka')
; open('./error.txt', write, Stream),
close(Stream),
name(V), !,
write('').