Я когда-то интересовался Прологом (не профессионально). Наколько я помню, он не причислялся к функциональным языкам, т.к. основывается не на лямбда-функциях, а на исчислении предикатов. По-моему он назывался просто логическим (и у Братко, и у Шапиро)
This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting
Page generated Jun. 20th, 2025 03:14 pm
Powered by Dreamwidth Studios