เมื่อผู้คนพูดเกี่ยวกับภาษาธรรมชาติในการคำนวณพวกเขาจะอ้างถึงภาษาการเขียนโปรแกรมที่มีโครงสร้างและไวยากรณ์ที่สะท้อนถึงคำพูดของมนุษย์ปกติ วัตถุประสงค์หลักของภาษาธรรมชาติใด ๆ คือการอนุญาตให้โปรแกรมเมอร์ใช้กฎและข้อตกลงทางภาษาซึ่งเขาหรือเธอคุ้นเคยแล้วในการสื่อสารคำแนะนำที่สามารถนำไปใช้กับคอมพิวเตอร์ได้ เนื่องจากความต้องการสำหรับผู้ใช้ปลายทางและการใช้ประโยชน์จากภาษาที่เป็นที่รู้จักและพูดแล้วภาษาธรรมชาติเช่น Programming in Logic (Prolog) หรือ Lisp มีแนวโน้มที่จะมีความซับซ้อนมากกว่าภาษาโปรแกรมอื่น ๆ ทั้งนี้ขึ้นอยู่กับบทคัดย่อหรือสัญลักษณ์เชิงสัญลักษณ์ที่สูงกว่า สิ่งที่คอมพิวเตอร์สามารถเข้าใจและปฏิบัติตาม กล่าวอีกอย่างหนึ่งคือง่ายขึ้นสำหรับผู้ใช้ในการสร้างโปรแกรมคอมพิวเตอร์โดยไม่ต้องรู้ภาษาขั้นตอนที่มีโครงสร้างหรือภาษาอื่น ๆ นอกเหนือจากที่เขาหรือเธอพูดแล้วเครื่องยนต์โปรแกรมภาษาธรรมชาติที่ซับซ้อนมากขึ้นจะต้อง เพื่อสนับสนุนเสรีภาพในการแสดงออก
ภาษาธรรมชาติประกอบด้วยตัวแยกวิเคราะห์และฐานข้อมูล ฐานข้อมูลเป็นตัวกำหนดว่าการกระทำใดที่คอมพิวเตอร์จะต้องดำเนินการตามคำสั่งและโปรแกรมวิเคราะห์คำจะกำหนดว่าต้องดำเนินการไวยากรณ์ใด ตัวอย่างเช่นหากผู้ใช้พิมพ์ "เพิ่มสองและสอง" ตัวแยกวิเคราะห์จะต้องแยกความแตกต่างระหว่างคำนามและคำกริยาเข้าใจว่าการกระทำของคำกริยาควรบรรลุผลสำเร็จค้นหาฐานข้อมูลเพื่อหาคำตอบที่เหมาะสมแล้วสร้างผลลัพธ์ที่ตอบสนอง คำแนะนำ. หากผู้ใช้พิมพ์ "เพิ่มสองถึงสอง" ตัวแยกวิเคราะห์ต้องสามารถเข้าใจได้ว่า "และ" และ "ถึง" เพื่อระบุว่าการกระทำเดียวกันควรเกิดขึ้นจากนั้นให้ผลลัพธ์เดียวกัน
ผู้เสนอการเขียนโปรแกรมภาษาธรรมชาติให้เหตุผลว่าเนื่องจากภาษาธรรมชาติมีแนวโน้มที่จะไม่ดำเนินการในธรรมชาติโปรแกรมเมอร์สามเณรสามารถผลิตโปรแกรมที่มีความหมายและบรรลุผลลัพธ์ที่สำคัญในกรอบเวลาที่สั้นกว่าเมื่อพวกเขาต้องการสร้างอัลกอริธึมกระบวนการที่นำไปสู่ผลลัพธ์เดียวกัน ด้วยการเขียนโปรแกรมภาษาธรรมชาตินักเรียนเรียนรู้ที่จะแสดงสัญลักษณ์เชิงตรรกะของข้อเท็จจริง โปรแกรม Prolog ประกอบด้วยฐานข้อมูลความสัมพันธ์ระหว่างรายการฐานข้อมูลและเงื่อนไขขอบเขตทั้งหมดที่กำหนดว่าคำตอบใดเป็นคำตอบที่ยอมรับได้
การวิจัยและตีพิมพ์ของ Noam Chomsky เกี่ยวกับทฤษฎีภาษาศาสตร์และการใช้งานรวมถึงการสำรวจแผนภาพของโครงสร้างไวยากรณ์ของภาษา ตัวแยกวิเคราะห์ Prolog และ Lisp ทำงานในลักษณะเดียวกันเรียงลำดับตามคำสั่งลงในส่วนประกอบอย่างมีเหตุผลและประเมินการกระทำเพื่อให้เป็นผลจากการแยกวิเคราะห์ ภาษาธรรมชาติส่วนใหญ่เขียนขึ้นเพื่อการป้อนข้อมูลและเอาท์พุทภาษาอังกฤษแม้ว่าจะมีหลายความพยายามในการรองรับการแปลภาษาอื่น ๆ
