Является ли Prolog нетипизированным языком? В чем разница между Prolog и языками с динамической типизацией?

Если в Прологе есть четкое различие между строками, числами, атомами, списками и составными структурами, как его можно назвать нетипизированным. И чем он отличается от языков с динамической типизацией, например, Lisp.

С какой частью определения «динамически типизированного языка» конфликтует Пролог? И с какой частью определения «нетипизированного языка» конфликтует Лисп?

Любое понимание приветствуется.

Обновление

Я уже знаю, в чем разница между динамической, статической, строгой и слабой типизацией. Мой вопрос касается особого случая, которым является Пролог. Я просто хочу понять, как Prolog считается нетипизированным, хотя он, похоже, не имеет явных отличий от языков с динамической типизацией.

Вот ссылка на то, что Prolog нетипизирован http://en.wikipedia.org/wiki/Prolog#Types