4 ms·
Isn't Prolog declarative?
by wlievens 17y ago
Isn't Prolog declarative?
- mahmud 17y agoIt IS. Declarative != Functional, despite the huge overlap.
- ilyak 17y agoProlog - maybe. XSLT, ML, whatever - are not.
- DrJokepu 17y agoProlog is a logic programming language and as far as I know logic programming is a subset of declarative programming.
- OliverM 17y agoProlog has a logic core but also some imperative features. Programmes can be specified in a purely declarative manner.
- wlievens 17y agoYes, I was discarding the imperative features. It always struck me as odd how purists adore Prolog for its conceptual clarity, but then as soon as you want to write anything nontrivial in it, they come and tell you to place "cuts" everywhere, exposing the imperative execution order throughout the program. IMHO this is evidence of Prolog being a failure.