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), ```
Instead of:
DALI/src/memory.pl
Line 80 in eb30e1d
you can simply write instead:
Cf = (gl(Head) :- B1),