[m-dev.] Fwd: [m-users.] Inst problem

[Volker Wysk]

Am Dienstag, dem 04.11.2025 um 02:35 +1100 schrieb Mark Brown:
> Hi Volker,
> 
> On Tue, Nov 4, 2025 at 12:08 AM Volker Wysk <post at volker-wysk.de> wrote:
> > 
> > Hi there
> > 
> > I, as a programmer, want to have a LOGIC language. Logic programming is
> > superior to functional programming, in my mind. And, of course, this
> > applies
> > even more to a logic-functional language like Mercury.
> 
> Can you explain that in concrete, objective terms? I'm not looking for
> a testimonial.

I'll try. I'm not sure what you mean by "testimonial". The most probable
translation (which I could find in the dictionary at dict.leo.org) would be
"Erfahrungsbericht", which translates to "case study" or "field report".

Logic programming is more universal than functional programming. This can be
seen at the fact that functional programming can relatively easy been added
to a logic language. Just transalte a function f(a,b,c) = x to a predicate
f(a::in, b::in, c::in, x::out). In the opposite direction, it should be much
harder.

Logic is more fundamental than functions (or lambda calculus), in
mathematics.

Logic is closer to human thinking (or even to thinking in general). Or, at
least to the logical part of human thinking. You can transform your ideas to
code more directly.

Therefore logic programming is more declarative than functional programming.

I hope this is what you wanted me to tell.

Cheers,
Volker