Skip to content

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).