Hello, I�m new to Ciao.

can I assert and retract not only facts, but also dynamic clauses

with variables such are:

isSoon(Father, Son):-isFather(Son Father)