PAL,是教育算法语言(Pedagogic Algorithmic Language)的首字母简写,它是在大约1967年于麻省理工学院开发的编程语言,用于帮助教授编程语言语义和设计。它是ISWIM的直接后代,并拥有很多来自Christopher Strachey的哲学。
PAL最初用Lisp实现,由Peter Landin和James H. Morris, Jr.书写。后来Martin Richards、Thomas J. Barkalow、Arthur Evans, Jr.、Robert M. Graham、James Morris, Jr和John Wozencraft(英语:John Wozencraft)对它做了重新设计。Richards和Barkalow将它用BCPL实现为中间代码解释器,并运行在IBM System/360之上,它被称为PAL/360。
RPAL,即“右引用PAL”,是PAL的函数式子集的实现。它被用在佛罗里达大学用于教学编程语言构造和函数式编程。程序是严格的函数式的,没有赋值运算序列。