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