| Language | First appeared | Developer |
|---|---|---|
| .QL | 2007 | Semmle |
| ABSYS | 1967 | — |
| Aldor | 1990 | IBM Thomas J. Watson Research Center |
| Algebraic Logic Functional programming language | — | — |
| Alma-0 | 1997 | Centrum Wiskunde & Informatica |
| Ciao | — | — |
| CLACL | 2000 | — |
| Clojure | 2007 | Richard Hickey |
| Curry | 1995 | Kiel University |
| Datalog | 1986 | — |
| Escher | — | — |
| Flix | 2016 | — |
| Fril | — | — |
| Go! | 2003 | Frank G. McCabe, Keith Clark |
| Gödel | 1992 | — |
| Jess | 1995 | Sandia National Laboratories |
| KRL | 1971 | — |
| Logtalk | 1998 | — |
| Maude system | — | — |
| Mercury | 1995 | University of Melbourne |
| Planner | 1969 | — |
| Prolog | 1972 | — |
| R++ | — | — |
| ROOP | 1995 | — |
| Visual Prolog | — | — |
| XSB | — | — |
| ΛProlog | — | — |