Jump to content

Talk:Declarative programming

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

vandalism

[edit]

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)[reply]

lisp and sml aren't declarative

[edit]

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)[reply]

Prolog example

[edit]

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)[reply]

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)[reply]

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)[reply]

History ...

[edit]

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