Programming Languages DB

Prolog
OCaml
APL
Component Pascal
F
Limbo
LYaPAS
M2001
Modula
Modula-2
Modula-2+
Oberon
Obliq
Racket
Standard ML
XQuery