Penalize Removed¶
Penalize removing existing rules.
penalize-removed.lp
¶
Source
% In the reference program but not in the foil
cost(program_diff(R), 1, 2) :- program(R, ref), not program(R, foil).
Encoding
In the reference program but not in the foil
cost(program_diff(R), 1, 2) :- program(R, ref), not program(R, foil).