Logic Programming, Semantics, and a Bit of Cleverness

Add to your list(s) Download to your calendar using vCal

• William Byrd, University of Alabama at Birmingham
• Tuesday 23 January 2018, 11:00-12:00
• FW26.

If you have a question about this talk, please contact Victor Gomes.

Logic Programming, Semantics, and a Bit of Cleverness or How to Speed Up a Relational Interpreter or Bubbletea-Driven Programming

Wouldn’t it great if we could take an operational semantics (or typing judgments, or whatever), directly express the semantics in a high-level logic programming language, and get an interpreter that acts as a relation instead of a function? Such a “relational interpreter” could perform program synthesis and other interesting and useful tasks “for free.”

The good news it is possible to write a relational interpreter in a pure subset of miniKanren or Prolog! The bad news, of course, is that the resulting interpreter is unbelievably slow! The better news is that we can use a variety of techniques to radically speed up a relational interpreter (by at least 8 orders of magnitude), and there is reason to think we’ll be able to speed it up much more in the near future.

Learn how we do it! Better yet, collaborate with us! Much of this work is being done right here at Cambridge.

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Computing and Mathematics
• Department of Computer Science and Technology talks and seminars
• FW26
• Interested Talks
• Logic and Semantics Seminar (Computer Laboratory)
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• yk373's list

Note that ex-directory lists are not shown.