Я когда-то интересовался Прологом (не профессионально). Наколько я помню, он не причислялся к функциональным языкам, т.к. основывается не на лямбда-функциях, а на исчислении предикатов. По-моему он назывался просто логическим (и у Братко, и у Шапиро)