That scripting language called PROLOG

  • June 16, 2014 · 7:00 PM
  • Mixrank

Sergei would like to share his impressions of Prolog.

Summary:

- What is "logic programming" and "constraint programming"
- How Prolog "makes pointers safe"
- Why Prolog was the ultimate scripting language for AI (backtracking search, interpreters, and DSLs for free)
- What is "functional-logic programming" (a taste of the programming languages Mercury and Curry)

Join or login to comment.

  • Sergei W.

    I finally managed to upload a video to Youtube.
    I apologize for bad audio quality.
    http://youtu.be/Fhc7fPQF1iY

    1 · June 26

  • Steve

    Interesting presentation and perspective!

    June 20

  • Mike P.

    Excellent meetup! Two things I especially enjoyed were: 1. The enhanced definition of what a declarative language looks like. 2. How PROLOG is useful for prototyping languages.

    1 · June 20

    • Sergei W.

      Thank you! I will try to make a video this weekend, but please don't expect too much...

      1 · June 20

  • Adrian K.

    Sergei has used that line about making pointers safe every time he's mentioned Prolog, and I finally see what he means. Worth the wait!

    June 17

    • Sergei W.

      Thanks!

      June 17

    • Sergei W.

      I added another slide to the talk, explaining how the unification works with difference lists (to write down what I explained in the meetup). I hope this is now more understandable!

      June 17

  • Christopher B.

    Outstanding! Very well crafted practical overview.

    June 17

  • Sergei W.

    Here is an updated version of the slides:
    https://drive.google.com/file/d/0B2Mt7luZYBrwZFJSanJNV1lyYlk/edit?usp=sharing

    Thank you for your questions and patience! (I sent a message to the group about getting late, but the message was not sent to the right address... Sorry about that!)

    June 17

  • Tikhon J.

    Here's the simple Prolog implementation I was talking about: https://github.com/TikhonJelvis/Simple-Prolog

    June 16

  • Emmanuel O.

    So it is 18:30 and I'm still at Mountain View so evidently I'm not going to make it! :( Hope you guys have fun, Sergei slides look really well done!

    June 16

  • Sergei W.

    Just a reminder: the door code is star one one one one.

    June 16

  • al f.

    Excellent. Wish I could be there.

    June 16

  • Sergei W.

    Preliminary version of my slides for the talk:

    https://drive.google.com/file/d/0B2Mt7luZYBrwMlhLVU9BSDV2eUU/edit?usp=sharing

    I left out Curry, there is enough material, and there is not much of substance that I can say about Curry.

    1 · June 15

  • Sergei W.

    A random find: A big list of online books and lecture notes on programming languages and other theory topics.... Some links are dead, use archive.org for them.
    http://users.cecs.anu.edu.au/~jeremy/books.html

    1 · June 13

  • Sergei W.

    "Prolog [was] a promising alternative to Lisp, which was rapidly maturing, and was killed by merely being seen as associated with the failed FGCS [fifth-generation computer system] project rather than for any technical reason. ... Prolog was killed by the failure in the early 1980s of mainstream AI researchers to find out about Prolog, by their willingness to play along with the “appropriate responses” to FGCS [i.e. write similar highly ambitious proposals for Lisp-based research], and by their use of FGCS’s failure as an excuse for continued neglect of a promising alternative to Lisp."

    - from "Who killed Prolog"
    http://vanemden.wordpress.com/2010/08/21/who-killed-prolog/

    June 7

    • Ian Z.

      How is it dead? There are many implementations, AFAIK it is being actively used in natural language reasearch, and so on.

      June 7

    • Sergei W.

      I have an impression that most people in the software industry nowadays have never seen Prolog.

      June 8

  • Steven S.

    Please video-record the talk. Very cool to see folks interested in Mercury and also "constraint programming". The [Mozart-]Oz looks great for that too and 2.0 came out recently IIRC. Also, Alice ML was a great "statically typed" port of the ideas of Oz (and more).

    May 29

    • Adrian K.

      Anybody care to play videographer?

      May 29

    • Jon A S.

      Please record this talk. I will be out of town that day.

      June 7

  • Adrian K.

    Sergei has been mentioning this idea about how Prolog makes pointers safe for a while now. I can't wait to hear how it works.

    May 29

  • Sergei W.

    Hopefully this will be interesting for people?

    May 28

  • Sergei Winitzki changed the location for this Meetup

    May 28

People in this
Meetup are also in:

Sometimes the best Meetup Group is the one you start

Get started Learn more
Katie

I'm surprised by the level of growth I've seen since becoming an organizer, it's given me more confidence in my abilities.

Katie, started NYC ICO

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy