| .QL | 2007 | static typing, strong typing | — |
| ABSYS | 1967 | — | — |
| Aldor | 1990 | static typing, dependent type | — |
| Alma-0 | 1997 | static typing, strong typing | — |
| Ciao | — | — | — |
| CLACL | 2000 | — | — |
| Clojure | 2007 | dynamic typing, strong typing | 2 |
| Curry | 1995 | static typing, inference typing, strong typing | — |
| Datalog | 1986 | weak typing | 2 |
| Escher | 1990 | manifest typing, static typing | — |
| Flix | 2016 | static typing, inference typing, structural typing, strong typing | — |
| Fril | — | — | — |
| Go! | 2003 | strong typing | — |
| Gödel | 1992 | strong typing | — |
| Jess | 1995 | — | — |
| KRL | 1971 | — | — |
| Logtalk | 1998 | — | — |
| Maude system | — | — | — |
| Mercury | 1995 | static typing, parametric polymorphism, uniqueness typing, strong typing | — |
| Planner | 1969 | — | 1 |
| Prolog | 1972 | — | 11 |
| Visual Prolog | — | static typing, inference typing, strong typing | — |
| XSB | — | — | — |