Talk:Declarative programming

vandalism

In the page-preview for the first mention of "SQL" — Preceding unsigned comment added by 142.161.137.88 (talk) 23:32, 12 June 2019 (UTC)

lisp and sml aren't declarative

lisp is imperative and sml is functional

this article reads like it's been lifted from a seo blogspam 206.191.44.34 (talk) 14:32, 25 July 2022 (UTC)

Prolog example

The given example doesn't work as expected. Ordinary Prolog doesn't admit higher-order predicates, which are, however, used at e.g. cat(tom). along with animal(cat). I'm not sure whether the example can be fixed, or needs to be replaced. - Jochen Burghardt (talk) 14:28, 30 June 2023 (UTC)

I came up with a version that I could get running in the expected way:

cat(tom).
mouse(jerry).

animal(X) :-
        cat(X).
animal(X) :-
        mouse(X).

big(X) :-
        cat(X).
small(X) :-
        mouse(X).

eat(X,Y) :-
        mouse(X),
        cheese(Y).
eat(X,Y) :-
        big(X),
        small(Y).

After loading that code, the query eat(tom,jerry). will succeed, while e.g. eat(jerry,tom). will fail. However, I can't align this new code with the current pseudo-linguistic fuss about "set theory facts", "adjective facts ", and "relationships", which I suspect to be at best WP:OR, anyway. If there is no objection, I'll replace the example by just the bare code above. - Jochen Burghardt (talk) 14:15, 3 July 2023 (UTC)

Please replace the psuedo-Prolog code by correct Prolog.

How did it get there? And how long has it been there? Shocking! 2.100.99.88 (talk) 21:32, 6 July 2023 (UTC)

History ...

Would be nice if this article had a history section. Gkochanowsky (talk) 07:15, 7 July 2023 (UTC)

Article Rewrite

This article is, quite frankly, a mess. I think it should be rewritten entirely. ~2025-33832-23 (talk) 00:31, 17 November 2025 (UTC)

Nonsense galore

Since when is Lisp declarative? Even the example given in the article is imperative. As an ip suggested above, there is need for a full rewrite. I will delete the Lisp example anyway. Yesterday, all my dreams... (talk) 10:35, 22 December 2025 (UTC)

I am removing some of the painfully incorrect and unsourced items, will add better material later, when I can. Yesterday, all my dreams... (talk) 03:08, 4 June 2026 (UTC)

@Jochen Burghardt (talk · contribs) I agree with your removal of functional programming, I did not want to argue with Bob K. because I really like him, from long ago, before Wiki existed. Yesterday, all my dreams... (talk) 22:57, 5 June 2026 (UTC)