Penalize Added

Penalize adding new rules.

penalize-added.lp

Source

% In the foil program but not in the reference
cost(program_diff(R), 1, 2) :- not program(R, ref), program(R, foil).

Encoding

In the foil program but not in the reference

cost(program_diff(R), 1, 2) :- not program(R, ref), program(R, foil).