z.new_query_local(aristotle,e2=nicomachus):
[('hasFather', 'nicomachus')]

z.new_query_local(aristotle):
[('member', 'man'), ('hasFather', 'nicomachus'), ('hasFather', 'ariston')]

z.new_query_local(plato):
[('member', 'man'), ('fatherOf', 'socrates'), ('professorOf', 'philosophy')]

z.new_query(socrates,likes):
['philosophy', 'sophroniscus', 'milk', 'mathematics', 'phaenarete']

z.new_query(socrates,hasFather):
['sophroniscus']

--------------------
Search one solution 
--------------------
Solucao: {'O': 2, 'R': 4, 'T': 1, 'U': 6, 'W': 3, 'F': 0, 'X1': 0, 'X2': 0, 'ORX1': (2, 4, 0), 'WX1UX2': (3, 0, 6, 0), 'TX2OF': (1, 0, 2, 0)}
5 calls; tempo = 0.0010142859999999962
--------------------
Search all solutions
--------------------
Solutions:
[('F', 0), ('O', 2), ('R', 4), ('T', 1), ('U', 6), ('W', 3)]
[('F', 0), ('O', 3), ('R', 6), ('T', 1), ('U', 4), ('W', 7)]
[('F', 0), ('O', 3), ('R', 6), ('T', 1), ('U', 8), ('W', 9)]
[('F', 0), ('O', 4), ('R', 8), ('T', 2), ('U', 6), ('W', 3)]
[('F', 0), ('O', 6), ('R', 2), ('T', 3), ('U', 9), ('W', 4)]
[('F', 0), ('O', 7), ('R', 4), ('T', 3), ('U', 1), ('W', 5)]
[('F', 0), ('O', 8), ('R', 6), ('T', 4), ('U', 3), ('W', 1)]
[('F', 0), ('O', 8), ('R', 6), ('T', 4), ('U', 5), ('W', 2)]
[('F', 0), ('O', 8), ('R', 6), ('T', 4), ('U', 7), ('W', 3)]
[('F', 0), ('O', 9), ('R', 8), ('T', 4), ('U', 1), ('W', 5)]
[('F', 0), ('O', 9), ('R', 8), ('T', 4), ('U', 3), ('W', 6)]
[('F', 0), ('O', 9), ('R', 8), ('T', 4), ('U', 5), ('W', 7)]
[('F', 1), ('O', 4), ('R', 8), ('T', 7), ('U', 6), ('W', 3)]
[('F', 1), ('O', 6), ('R', 2), ('T', 8), ('U', 7), ('W', 3)]
[('F', 1), ('O', 6), ('R', 2), ('T', 8), ('U', 9), ('W', 4)]
[('F', 1), ('O', 8), ('R', 6), ('T', 9), ('U', 5), ('W', 2)]
[('F', 1), ('O', 8), ('R', 6), ('T', 9), ('U', 7), ('W', 3)]
[('F', 1), ('O', 5), ('R', 0), ('T', 7), ('U', 3), ('W', 6)]
[('F', 1), ('O', 7), ('R', 4), ('T', 8), ('U', 3), ('W', 6)]
54 calls; time = 0.003677944999999995
19 solutions

----------------------------------------------------
c_s car_s {'d', 'b_v', 'm_f', 's_m', 'c_c', 's_s', 'f_s', 'c_s', 'b_a', 'car_s', 'a', 's_q', 's_p', 'v_p', 's_t'}
----------------------------------------------------
s_t c_c {'d', 'c_c', 's_s', 's_t'}
----------------------------------------------------
s_t s_q {'d', 'b_v', 'm_f', 's_q', 's_p', 'v_p', 's_t'}
----------------------------------------------------
s_q c_c {'d', 'b_v', 'm_f', 's_m', 'c_c', 's_s', 'b_a', 'c_s', 's_q', 's_p', 'v_p'}
----------------------------------------------------