The second engine

Where it stops

It is a cross-check within this project, not an independent reproduction: a misreading shared by both engines would pass both.

From the method's section What has been checked, and where each check stops, which lists every check the project publishes and where each stops.

What the translation keeps

• Constants become quoted strings, and $variables become clingo variables.
• event { eats() } becomes the constant "event:eats".
• ~atom is negation as failure, ~($a = $b) is !=, and ($a = $b) is =.
• A disjunction inside a rule body becomes one rule per disjunct.
• entitled(every person, event { P() }) becomes a rule from person.
• :accept statements are asserted, as Nibli keeps them.
• Each query is answered against the stable model of everything asserted before it, which for a stratified program is the perfect model Nibli computes.

What the comparison leaves out

• admits and derived_only declarations are dropped, because clingo refuses no input, so a statement Nibli refuses is never asserted.
• :refuse, :accept-scoped and :require statements are skipped, so refusals, scoped loadability and shell checks are not compared.
• Contradiction scans are not compared.
• Only cases on the live source run; a counterfactual case edits the source.

The cases replayed

By group: chapter pins 8, custody 83, delivery 3, placement 26, source pins 3, stress 6.

The report ↗ · The translator ↗ · Current limits