Viewing profile — usgroup

[dead]

[dead]

[dead]

https://awesomeclaude.ai/ralph-wiggum

Well that would be extra information. Wherever you find the edge of your information, you will find the "problem of induction" as presented above.

yes, if you decide one of them is much more likely without reference to the data, then it will be much more likely :)

This issue happens at the edge of every induction. These two rules support their data equally well: data: T T T T T T F rule1: for all i: T rule2: for i < 7: T else F

SWI Prolog is just fine, and you'll find it to be batteries included unlike many other choices. The first thing to learn is the "Prolog state of mind", or how to express your inten…

Personally I don't like the Standard ML based mash-ups. I think Curry is an interesting take on logic programming. A sort of Haskell meets Prolog.

I can recommend "Simply Logical". I also suggest Advent of Code as a nice way to cut your teeth with expressing thoughts with Prolog.

Generally speaking, Prolog syntax is ridiculously simple and uniform. Its pattern matching is the most universal of any programming language partly because of this.

Yeah that sounds like me too. Prolog became a fetish a few years ago. I used it intensely for 2 years, wrote a lot about it, until it became a part of me. Its intangible what it do…

No, datalog is a decidable subset of Prolog. That changes everything.

I think this article is problematic because Prolog is truly a different paradigm which requires time to understand. Laments about no strings, no functions and "x is confusing" read…