Make link removal Prolog updates O(1) with retract#583

lucksus wants to merge 2 commits intodevcoasys/ad4m:devfrom

feature/prolog-retractcoasys/ad4m:feature/prolog-retractCopy head branch name to clipboard