encoding of algebra heuristics and rules in ASP (6th version)