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