6 ms·

Ask HN: Who/What will do for Prolog what Clojure has done for Lisp?

• lsb 16y ago
  Constraint Handling Rules. CHR looks pretty interesting; I saw someone describe an implementation of Fibonacci heaps in CHR[1] as "executable pseudocode", and that's generally a sign of something useful. [1] http://people.cs.kuleuven.be/~jon.sneyers/presentations/dijkstra_chr.pdf http://people.cs.kuleuven.be/~jon.sneyers/presentations/dijk...
  • _delirium 16y ago
    I agree they're useful, but CHR has been included as a standard part of most Prolog implementations since the 1990s. It's possible it just hasn't been fully discovered yet, but it's had some time to attempt to win.
• slashcom 16y ago
  Prolog has its limitations, but it still stands out as one of the oldest, influential and important declarative programming languages. IMHO, it's hard to say what is the natural successor to Prolog. For all that it shares with Lisp, it definitely has never shared even a fraction of the popularity. They have two entirely different approaches and purposes though, so this isn't terribly surprising. Even if someone does create a new Prolog ala Clojure, it would probably still remain in academia. I think a better question to ask is what direction is declarative programming headed in? Prolog is just one language in this field, as are some of the Prolog-alternatives listed by the OP. Remembering that SQL is also a declarative programming language, I believe that declarative languages are far from dead; it's a common paradigm, just not one we hear a lot of buzz about. So all this said, it may be that Prolog doesn't necessarily need a successor. It does it's job well, but logic-based declarative languages are inherently too specialized to expect anything causing a surge of popularity. One interesting variant of declarative programming is called Answer Set Programming. (http://en.wikipedia.org/wiki/Answer_set_programming http://en.wikipedia.org/wiki/Answer_set_programming). It's particularly good at modeling and solving NP-hard search problems, usually has Prolog-esque syntax, but does well on programs where Prolog would infinite loop (e.g. p :- not q. q :- not p.). As a disclaimer, I'm just beginning research in ASP. :)
  • queensnake 16y ago
    You at New Mexico State, by any wild chance? Answer set programming is big there.
  • _delirium 16y ago
    I've also switched to ASP, largely because of choice rules plus filtering. You can write things like: { active(A) } :- thing(A). Which says that for all things A, active(A) is a free choice of true or false, constrained by the requirement to be consistent with all other clauses in the program. That lets you do abductive reasoning, e.g. find an explanation, plan, or cause from a possibility space, consistent with the other asserted facts. You an also write pure constraints, like: :- active(duck), active(cat). Which says to reject all answers in which both duck and cat are simultaneously asserted active. This allows an overgenerate-and-filter style of programming, where you use choice rules to generate everything in a possibility space, and then constraints to filter out the ones you don't want. Prolog doesn't really naturally support that style of programming, though certain kinds can be hacked in with Prolog+CHR, or with one of the CSP extensions. The main downside in my experience is that ASP doesn't do well on large programs, even large-but-simple ones that Prolog handles well, due to the fact that ASP is grounding everything to the moral equivalent of giant SAT problems. Particularly if you use numerical reasoning over non-tiny ranges. Say, you have some sprites on a grid, and at each time, each sprite has exactly one X/Y position: canvas_x(0..799). canvas_y(0..599). timestep(0..99). sprite(mario;luigi;babomb). 1 { pos(S,X,Y,T) : sprite(S) : canvas_x(X) : canvas_y(Y) } 1 :- timestep(T). A program like that totally blows up due to the 800 x 600 x 100 x 3 ground instantiations of pos, particularly if pos is then referenced in a lot of other rules. Since Prolog doesn't ahead-of-time compute all the ground instantiations, it can avoid that in certain classes of programs (in this case, you'd memoize the one pos per sprite/timestep once you find it, then use the cut operator to fail-fast on any other queries). There are papers on avoiding this via a new generation of "first-order ASP" not based on propositional grounding, but afaik no implementations exist.
    • jamii 16y ago
      The wikipedia page didn't really shed much light on what ASP is doing under the hood. How does it differ from constraint solvers like http://www.gecode.org/ http://www.gecode.org/ ? I know that gecode can handle problems like your canvas example well by representing integer variables as sets of intervals. What kind of problems would ASP have the advantage on?
• Zak 16y ago
  I think Lisp was on an upswing before Clojure came around. Certainly, Clojure has helped a great deal but Paul Graham's essays, Practical Common Lisp and a proliferation of libraries relevant to the problems of today's programmers all preceded Clojure and likely contributed to its popularity. I suspect any significant gains for Prolog will be in the form of Prolog-like DSL libraries for other languages. It looks like there has been some initial work on one for Clojure, incidentally.
  • p4bl0 16y ago
    I agree with this. For instance there's already one for Racket, another Lisp (Scheme), see here: http://docs.racket-lang.org/racklog/index.html http://docs.racket-lang.org/racklog/index.html
• brendano 16y ago
  There won't be a practical successor to Prolog. Clojure is possible because Lisp already is a general purpose programming language. Prolog isn't. You couldn't do many of the projects in Practical Common Lisp with it. For example, imperatively changing mutable state is really hard to do, yet a very useful approach to many problems.
• malkia 16y ago
  not muxh familiar, but I thought erlang is close relative to prolog (never programmed much in either)
• locopati 16y ago
  While not familiar with Prolog, I understand that Erlang's pattern matching comes from that world - so Erlang? EDIT: Here's a couple references for the Erlang/Prolog connection... http://www.erlang.org/faq/academic.html http://www.erlang.org/faq/academic.html http://hyperpolyglot.org/logic http://hyperpolyglot.org/logic Also I found this while looking for the reference for the Prolog/Erlang connection... http://www.slideshare.net/adorepump/learning-erlang-from-a-prolog-dropouts-perspective-presentation http://www.slideshare.net/adorepump/learning-erlang-from-a-p...
  • silentbicycle 16y ago
    Prolog's unification is quite a bit more powerful than Erlang's pattern matching, though. You can't pass around uninstantiated variables in Erlang. Erlang also discarded backtracking (because it mixes poorly with concurrency).
    • evgen 16y ago
      OTOH, it is possible to add some of it back in. Check out Robert Virding's erlog (http://github.com/rvirding/erlog http://github.com/rvirding/erlog) and his explanation of how you can add backtracking to erlang (http://rvirding.blogspot.com/2009/03/backtracking-in-erlang-part-1-control.html http://rvirding.blogspot.com/2009/03/backtracking-in-erlang-...)
• JabavuAdams 16y ago
  Nothing. Lisp's a general purpose multi-paradigm programming language, while Prolog isn't. If you need a rules engine, great, but there's no reason to shoe-horn general programming problems into the Prolog model. If you have JESS / Java or CLIPS / C, or generally, a rules engine for your favourite language, what does Prolog bring to the table?
• jeffmax 16y ago
  Has anyone looked at Pyke (http://pyke.sourceforge.net/ http://pyke.sourceforge.net/)? It seems to combine some of the ideas from Prolog with the ability to use Python when necessary. We tried it and found it to work as advertised but the documentation was hard to navigate.
• fogus 16y ago
  Maybe Prolog needs its own Paul Graham?