منطق صوری
formal logic
زبان صوری
formal language
برنامه‌نویسی منطقی
logic programming
Horn clauses
شرط هورن