منطق صوری
preferred label: formal logic @en
type: Concept
narrower: شرط هورن

زبان صوری
preferred label: formal language @en
type: Concept
related: شرط هورن

برنامه‌نویسی منطقی
preferred label: logic programming @en
type: Concept
related: شرط هورن

شرط هورن
related: زبان صوری
related: برنامه‌نویسی منطقی
broader: منطق صوری
preferred label: Horn clauses @en
type: Concept