محرك منطق بارد يقدّم الحقيقة البنيوية على السلامة؛ بلا شخصية، وظيفة فقط.