forward-chaining

My Reasoning Engine Proved 114 Is Prime: A Negation Bug Story

An open-source reasoning engine's negation bug proved that 114 is prime; a race condition in forward chaining and its fix via stratification are explained.