Logic programming is a programming paradigm which is largely based on formal logic. Any program written in a logic programming language is a set of sentences in logical form, expressing facts and rules about some problem domain. Major logic programming language families include Prolog, answer set programming (ASP) and Datalog.
 การเขียนโปรแกรมลอจิกเป็นกระบวนทัศน์การเขียนโปรแกรมซึ่งมีพื้นฐานอยู่บนตรรกะที่เป็นทางการเป็นส่วนใหญ่ โปรแกรมใดๆ ที่เขียนด้วยภาษาการเขียนโปรแกรมเชิงตรรกะคือชุดของประโยคในรูปแบบตรรกะ ซึ่งแสดงข้อเท็จจริงและกฎเกณฑ์เกี่ยวกับโดเมนปัญหาบางอย่าง ตระกูลภาษาการเขียนโปรแกรมลอจิกหลัก ได้แก่ Prolog, การเขียนโปรแกรมชุดคำตอบ (ASP) และ Datalog
spam fails_task lang_mismatch pii not_appropriate hate_speech sexual_content quality toxicity humor helpfulness creativity violence