Prolog, and SQLite dialect of SQL, are both declarative and dynamically typed. Static typing is neither necessary nor sufficient here, the gradient from declar

Prolog, and SQLite dialect of SQL, are both declarative and dynamically typed. Static typing is neither necessary nor sufficient here, the gradient from declarative to imperative is largely orthogonal.