Logic programming is a programming

Logic programming is a programming paradigm based on formal logic. A 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. In all of these languages, rules are written in the form of clauses:

ผลลัพธ์ (ไทย) 1:

เขียนโปรแกรมเชิงตรรกะเป็นกระบวนทัศน์การเขียนโปรแกรมตามแบบทางตรรกะ เขียนในตรรกะการเขียนโปรแกรมภาษาโปรแกรมคือ ชุดของประโยคในแบบฟอร์มทางตรรกะ การแสดงข้อเท็จจริงและกฎเกี่ยวกับโดเมนบางปัญหา ตระกูลของภาษาเขียนโปรแกรมตรรกะที่สำคัญได้แก่ภาษาโปรล็อก ตอบตั้งเขียนโปรแกรม (ASP) และ Datalog ในภาษาเหล่านี้ กฎเขียนในรูปแบบของประโยค:

ผลลัพธ์ (ไทย) 2:

การเขียนโปรแกรมลอจิกเป็นกระบวนทัศน์การเขียนโปรแกรมบนพื้นฐานของตรรกะที่เป็นทางการ โปรแกรมที่เขียนในตรรกะภาษาการเขียนโปรแกรมคือชุดของประโยคในรูปแบบตรรกะการแสดงข้อเท็จจริงและกฎระเบียบเกี่ยวกับโดเมนปัญหาบางอย่าง ครอบครัวการเขียนโปรแกรมภาษาตรรกะที่สำคัญ ได้แก่ เปิดฉากการเขียนโปรแกรมชุดคำตอบ (ASP) และ Datalog ในทุกภาษาเหล่านี้กฎจะถูกเขียนในรูปแบบของคำสั่งนี้:

ผลลัพธ์ (ไทย) 3:

การเขียนโปรแกรมตรรกะการเขียนโปรแกรมกระบวนทัศน์ขึ้นอยู่กับทางตรรกะ โปรแกรมที่เขียนในภาษาการเขียนโปรแกรมตรรกะเป็นชุดของประโยคในรูปแบบตรรกะแสดงข้อเท็จจริงและกฎเกี่ยวกับปัญหาโดเมน หลักตรรกะการเขียนโปรแกรมภาษาครอบครัว ได้แก่ ภาษาเครื่อง ตอบตั้งโปรแกรม ( ASP ) และข้อมูลคืน . ในทุกภาษาเหล่านี้ กฎที่เขียนในรูปของประโยค :