With assert/1* we add it to the existing clauses (add it to the "database"), so we can call it later.
Са тврдњом/1* ми је додајемо у постојећим клаузулама (да је додате у "базу"), тако да је можемо назвати касније.