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)