การเขียนโปรแกรมการประกาศคืออะไร?

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

หนึ่งสามารถพิจารณาตัวอย่างต่อไปนี้จาก SQL เพื่อรับพื้นที่การขายทั้งหมดที่กำไรเกินจำนวนที่แน่นอนเช่น $ 700 US Dollars (USD) จากข้อมูลการขาย

เลือกภูมิภาค, กำไรจากการขายโดยที่กำไร> 700

คำสั่งนี้ไม่ได้ระบุสิ่งที่ระบบ SQL ต้องทำเพื่อให้ได้ข้อมูล ระบบ SQL สามารถผ่านแต่ละระเบียนการขายและตรวจสอบว่าเงื่อนไขเป็นไปตามเงื่อนไขหรือสามารถรับระเบียนน้อยที่สุดจากข้อมูลที่จัดเรียงไว้ล่วงหน้าได้อย่างรวดเร็ว คำสั่งระบุลักษณะของข้อมูลที่ต้องการเท่านั้น

อารัมภบทเป็นภาษาการเขียนโปรแกรมที่บ่งบอกความสัมพันธ์เชิงตรรกะระหว่างเอนทิตี

บรรพบุรุษ (M, C): - แม่ (M, C)
บรรพบุรุษ (X, Z): - แม่ (X, Y), บรรพบุรุษ (Y, Z)

โปรแกรมด้านบนแสดงถึงความจริง ถ้า M เป็นแม่ของ C ดังนั้น M เป็นบรรพบุรุษของ C ถ้า X เป็นแม่ของบางคน Y ที่เป็นบรรพบุรุษของ Z ดังนั้น X คือบรรพบุรุษของ Z ได้รับสิ่งนี้และข้อเท็จจริงบางอย่างเกี่ยวกับแม่โปรแกรม สามารถตอบคำถามเกี่ยวกับต้นไม้ตระกูลทั้งหมด

ระหว่างการทำงานของโปรแกรมระบบ Prolog จะสร้างข้อความสั่งจริงจำนวนหนึ่งซึ่งจะเป็นการสร้างฐานความรู้ ฐานความรู้นี้ค้นหาอย่างมีประสิทธิภาพด้วยตัวเอง ผู้สร้างโปรแกรมด้านบนไม่ได้ระบุวิธีการค้นหา

HTML และ CSS เป็นภาษาการเขียนโปรแกรมที่เปิดเผย ตัวอย่างเช่นตัวอย่าง HTML <table border = "1"> หมายถึงเส้นขอบบาง ๆ ตัวอย่าง CSS คือ color: blue ค่านี้ระบุสีข้อความ ดังที่สามารถเห็นได้ในตัวอย่างเหล่านี้ HTML และ CSS ระบุสิ่งที่ควรปรากฏบนหน้าเว็บ แต่ไม่สามารถทำได้

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

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