Languages used for logic programmin

Languages used for logic programming are called declarative languages, because
programs written in them consist of declarations rather than assignments and
control flow statements. These declarations are actually statements, or propositions,
in symbolic logic.
One of the essential characteristics of logic programming languages is their
semantics, which is called declarative semantics. The basic concept of this
semantics is that there is a simple way to determine the meaning of each statement,
and it does not depend on how the statement might be used to solve a

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

ภาษาที่ใช้สำหรับเขียนโปรแกรมตรรกะเรียกว่าภาษา declarative เนื่องจากโปรแกรมที่เขียนในนั้นประกอบด้วยรายงานแทนที่กำหนด และควบคุมงบกระแส ประกาศเหล่านี้เป็นจริงคำ หรือขั้นในตรรกะของ symbolicลักษณะสำคัญของตรรกะการเขียนโปรแกรมภาษาหนึ่งของพวกเขาความหมาย ซึ่งเรียกว่าความหมาย declarative แนวคิดพื้นฐานของความหมายคือว่า มีวิธีง่าย ๆ ที่จะกำหนดความหมายของและมันขึ้นอยู่กับวิธีอาจใช้คำสั่งเพื่อแก้ไขการ

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

ภาษาที่ใช้ในการเขียนโปรแกรมตรรกะที่เรียกว่าภาษาที่เปิดเผยเพราะ
โปรแกรมที่เขียนในพวกเขาประกอบด้วยประกาศมากกว่าที่ได้รับมอบหมายและ
งบการควบคุมการไหล ประกาศเหล่านี้เป็นจริงงบหรือข้อเสนอ,
ในตรรกะสัญลักษณ์.
หนึ่งในลักษณะที่สำคัญของการเขียนโปรแกรมภาษาตรรกะเป็นของพวกเขา
ความหมายซึ่งเรียกว่าความหมายที่เปิดเผย แนวคิดพื้นฐานของนี้
ความหมายก็คือว่ามีวิธีง่ายๆในการกำหนดความหมายของแต่ละคำสั่ง,
และมันไม่ได้ขึ้นอยู่กับวิธีการที่คำสั่งที่อาจจะใช้ในการแก้

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

ภาษาที่ใช้ในการเขียนโปรแกรมตรรกะจะเรียกว่าการประกาศโปรแกรมที่เขียนในภาษาเพราะ
พวกเขาประกอบด้วยประกาศมากกว่าที่ได้รับมอบหมายและ
งบไหลควบคุม ประกาศเหล่านี้เป็นจริงงบหรือข้อเสนอ ,

ในตรรกศาสตร์สัญลักษณ์ หนึ่งในลักษณะที่สำคัญของการเขียนโปรแกรมภาษาตรรกศาสตร์คือความหมายของพวกเขา
ซึ่งเรียกว่าคำประกาศอรรถศาสตร์แนวคิดพื้นฐานของเรื่องนี้
ความหมาย มันเป็นวิธีที่ง่ายเพื่อตรวจสอบความหมายของข้อความแต่ละ
และมันไม่ได้ขึ้นอยู่กับ งบ อาจจะใช้ในการแก้