Классический язык логического программирования Prolog реализует парадигму логического программирования. Эта парадигма основана на математической логике, а именно на исчислении предикатов первого порядка. Программы на Prolog состоят из набора фактов и правил, описывающих отношения между различными объектами. Эти отношения могут быть выражены в виде логических формул, состоящих из предикатов и переменных. Например, так выглядит простой факт на Prolog: father(john, bob). Этот факт говорит о том, что "Джон является отцом Боба". А вот простой правило на Prolog: grandparent(X, Z) :- parent(X, Y), parent(Y, Z). Это правило говорит о том, что "X является дедушкой/бабушкой Z, если X является родителем Y, а Y является родителем Z". Prolog также поддерживает концепцию рекурсии, когда функция вызывает саму себя. Это может быть использовано для решения некоторых задач, например, поиска в глубину в графе. В отличие от функциональной парадигмы, где программа состоит из последовательности функций и вызова функций, на Prolog программа состоит из набора фактов и правил. Кроме того, на Prolog нет понятия переменной состояния, что отличает его от объектно-ориентированной парадигмы. Вероятностное программирование - это отдельная парадигма программирования, которая используется для моделирования стохастических процессов, представления и использования неопределенности и вероятности. Prolog не поддерживает вероятностное программирование напрямую, хотя некоторые расширения языка могут добавлять дополнительную функциональность, позволяющую работать с вероятностными моделями. Таким образом, можно сделать вывод, что Prolog реализует только логическую парадигму программирования.