Instead of: https://github.com/AAAI-DISIM-UnivAQ/DALI/blob/eb30e1d2f5f84c2449e45bcd4f2180111975e01b/src/memory.pl#L80 you can simply write instead: ```prolog Cf = (gl(Head) :- B1), ```
