PROLOG appreciation thread

A thread dedicated to the completion of the 5th generation language project. Anyone else use this language exist? Do you understand the joy of the resolution calculus? Metalogic capabilities? Preferred compiler? Favourite books related to PROLOG? How do you feel about its eventual evolution into Erlang? I'm still out here using this language at least!

Did you build anything yourself with it? Ive only used it during a course before but never found opportunity to make something with it. You can glue it to C ->C++ -> phyton/java/.. so its usable as a logic module in any language, the unsolved question for me is where to make good use of it.

I always found Prolog's star features (unification, logic programming) more useful when integrated within more generalist languages, like mini/microkanren in Scheme.

>>41470 Erlang is still great. Mercury is also worth looking at, especially if you want something more general-purpose (Desktop) and a bit faster. But development is quite slow given it's very niche, which could be a feature or a detriment depending on the person.

if you become proficient in both the imperative and the functional paradigms, will you gain anything general from learning logic programming? will it, too, unlock a new "perspective"?

>>41915 I don't know much Prolog (I would appreciate learning resources). But! Prolog is actually very cool. You give it facts in declarative fashion and the Prolog runtime will figure out how to get your answer.

>>41470 >How do you feel about its eventual evolution into Erlang? I don't know much about Prolog, but I have a lot of respect for Erlang and how they figured out how to design long-running concurrent systems. It makes so much sense, and systems built in Erlang tend to be so resilient. I wish I studied it more earlier in life.

i am creating a upper semantic layer of this language. its pointless to manual code anymore.

I found it kind of fun to use like a puzzle but ive never felt like it's really practical or that it taught me anything

>>41487 I've built a few things with it, recently I was trying to build a graphical expert system with it a la GT but I was trying to use XPCE which is like 30 year old tech. Despite the help of the swipl forums (great resource btw) I couldn't get past a lot of those roadbumps. I'm now writing a C api to use openGL for my graphics. But yeah I think PROLOG is great for most things like this. Predicates can be thought of as protocol implementations with false-as-default and I fidn it very natural

>>41999 I'd like to hear more about this.

>>42033 if you see manual coding as 3d , it is 5d coding

I'd like to get better at prolog, does anyone have any idea of a small project I could do?

>>41470 SWI Prolog is the go to implementation. Learn Prolog at >Start: https://www.swi-prolog.org/GetStarted.html >Quick intro: https://www.youtube.com/watch?v=8XUutFBbUrg >https://www.metalevel.at/prolog >Alternative libre implementations: Scryer Prolog: https://www.scryer.pl GNU Prolog: http://www.gprolog.org >non-free ( SICStus: https://sicstus.sics.se ) ( Visual Prolog: https://www.visual-prolog.com ) .... There is also a related language called Mercury: https://www.mercurylang.org >>42173 Read Prolog programming for artificial intelligence (it's also suitable for beginners) and write a small toy expert system. Then read The Art of Prolog I think Prolog would be good fit for linguistics, too.

>>42173 Something I did with prolog was use it decode an encoding my friend came up with, basically he just swapped letters for two paired symbols. It was pretty fun.

>>42202 how about creating a logic descriptor of functional language in prolog?

>>42173 you could make a parser, PROLOG's definite clause grammars are very good for this. You could also write some bindings for graphics programs to PROLOG. God knows we need some. XPCE is outdated as fuarrrk. >>42210 Eh? No thnaks.. People use PROLOG to get away from the limitations of FP, or at least I did.