منطق
logic
PROLOG
پرولوگ
برنامه‌نویسی منطقی
logic programming
زبان برنامه‌نویسی منطقی
logic programming language
زبان سطح بالا
high level language