Prolog

“It's pretty mind-bending what it can accomplish and how concise the resulting programs tend to be.”

“Prolog loses much of its power and intuitiveness to become a barebones functional PL without much going for it”

“Prolog has a beautiful unification-based "pattern-matching"-style syntax that results in very succinct programs.”

“Prolog is great in applications that must be able to analyze, extend, adapt, reason about and give account of their own workings and results”

“I find myself reaching for Prolog in cases that are entirely orthogonal to any kind of code I used to write before”

“It’s such a fun language to program in because it forces you to think in relationships and facts.”

“they know what reproducibility means instead of what LLM's slop around were by design they are stacking errors over time.”

“The language gives you sensible tools to deal with edge cases that otherwise require you to jump through hoops or import libraries”

“With Prolog, the calls can quickly become a combinatorial explosion of search space, leading to a program which does not finish at all”

“Prolog is useful everywhere it's simple to express a rule but not that easy to implement it.”

“prolog rule evaluation depends on the order the rules are presented in the program”

“as soon as you do something actually complicated, you realize that the different optimization modes of the engine give different results”

“It took me a lot to be able to do anything more than simple Hello World level things”

“I tried many things in Prolog but ordinary languages often proved to be more suitable.”

“You're dancing around many of the same ideas, including backwards execution, constraint programming, stratification, and finding possible values.”

“It is designed to be metainterpreted with the same ease in which a for-loop might be written in another language.”

“After trying for a while, I got frustrated and asked the teacher if I could do it in Ruby instead.”

“very-high-level scripting-languages with more rigorous semantics (e.g. homoiconicity)”

“I think that's a feature not a bug, because it allows you to create bidirectional formulas”

“The ability to just use infix and compound terms in a generic way without it being tied to a clause or operator is a huge feature.”

“Since Prolog programs are just Prolog data structures, it is easy to write Prolog meta-interpreters which generate or consume Prolog code.”

“It's not supposed to look like your friendly neighbourhood programming language because it's mathematical notation.”

“It was cool to learn Prolog, but I wish it had been a whole course on just Prolog and actual present-day use-cases”

“Prolog showed that declarative beats imperative for problems where you can formalize the rules.”

“Seems more like an interesting research project than something I'd ever deploy in an application serving millions of users”

“Prolog is a contrived example. It's small and simple enough to be implemented as a DSL embedded in another language”

“The nice thing about prolog is that you write logical rules, and they can get used in whatever order and direction that is needed.”

“Plenty of problems involve a lot of parsing and searching, both could be expressed declaratively in Prolog and it just works”

“Prolog comes built-in with a universal problem solver, SLD-Resolution, that can solve any problem a human programmer can pose to it.”

“It's a language that should have just been a library. There's nothing noteworthy about it”

“Prolog is an excellent language for expressing certain types of problems in a very concise way”

“Prolog handles anything you want to say in formal logic very well (at the cost of not doing anything else well).”

“it's certainly fair to say that expressing many programs is easier in Prolog than Fortran”

“Professionals write Prolog by focusing on the predicates and relations and leaving the execution flow to the interpreter.”

“Prolog is a great language to learn. But I wouldn't want to use it for anything more than what its directly good at.”

“I found it very confusing: trying to code A*, N-Queens, or anything in it was just too much.”

“Prolog searches through a space of logical proposition (constraints) and finds conditions that lead to solutions (if one exists).”

“that code will work X orders magnitude faster and with 100% reliability compared to much more inferior LLM reasoning capabilities”

“the value for me of learning Prolog was being awakened to a refreshingly different way of expressing a program”

“Prolog is beyond a power tool. A one-off bit of experimental tech built by the greatest minds of a forgotten generation.”