4 ms·

1986 Art of Prolog.. Can someone say which (who?) are the "Prolog for the 21st century" and the "Lisp of the 21st century" ?!

• radiator 8y ago
  Hmmm... perhaps Prolog and Lisp?
  • yazr 8y ago
    As in, "fill-in-the-spaces will soon free us from the tyranny of imperative programming"...
  • paulmd 8y ago
    > Hmmm... perhaps Prolog and Lisp? "when the proof search accidentally returns the trivial case"
  • protomyth 8y ago
    Like in The Reasoned Schemer? https://mitpress.mit.edu/books/reasoned-schemer https://mitpress.mit.edu/books/reasoned-schemer
• simplify 8y ago
  Mercury is a promising logic programming language that's under development https://github.com/Mercury-Language/mercury https://github.com/Mercury-Language/mercury Tutorial available here (the "Ralph Becket Murcury tutorial" pdf) http://mercurylang.org/documentation/documentation.html http://mercurylang.org/documentation/documentation.html
  • timb07 8y ago
    The Mercury compiler is written in Mercury, which is syntactically derived from Prolog. The original compiler was bootsrapped by stripping the non-Prolog parts from the code and executing it on NU-Prolog. The compiler first successfully compiled itself in 1995, after which NU-Prolog was no longer needed. And just to tie this back to the original topic, Leon Sterling (first author of The Art of Prolog) was the head of the Department of Computer Science at the University of Melbourne when the development of Mercury began there.
• mthom 8y ago
  I'd venture to say.. Prolog and Shen. Specifically, I am implementing a modern Prolog in Rust that will encompass the results of some more recent (ie. current century) research within the logic programming/Prolog community. It's here: http://github.com/mthom/rusty-wam http://github.com/mthom/rusty-wam
  • yazr 8y ago
    Is this more about new language constructs or a better run-time execution/solver ?
    • mthom 8y ago
      New language constructs. The 'WAM' in the name refers to the Warren Abstract Machine, one of the more efficient ways to implement Prolog in a procedural language. Also, using the SICStus interface and semantics for attributed variables should make for some very general constraint solvers, yes.
      • nextos 8y ago
        What do you think about answer-set programming vs more general solvers like SICStus.
        • mthom 8y ago
          I don't know enough about answer set programming to give much of an answer. Sorry.
• jimbokun 8y ago
  "Prolog for the 21st century" is Erlang.
  • zerr 8y ago
    Not at all. All they have in common are comma and dot, and even the semantics is different for these.