| Language | Appeared | Type system | Languages it influenced |
|---|---|---|---|
| BNR Prolog | 1988 | — | — |
| Ciao | — | — | — |
| Constraint Handling Rules | 1991 | — | — |
| GNU Prolog | 1996 | — | — |
| Language | Appeared | Type system | Languages it influenced |
|---|---|---|---|
| BNR Prolog | 1988 | — | — |
| Ciao | — | — | — |
| Constraint Handling Rules | 1991 | — | — |
| GNU Prolog | 1996 | — | — |