COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > Logic Programming, Semantics, and a Bit of Cleverness

## Logic Programming, Semantics, and a Bit of ClevernessAdd 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 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
- Computer Laboratory talks
- Computing and Mathematics
- 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. |
## Other listsPeterhouse Theory Group Monday Mechanics Seminars (DAMTP) Hebrew Open Classes## Other talksGroup covariance functions for Gaussian process metamodels with categorical inputs Modelling mitochondrial dysfunction in Parkinsonâ€™s disease: mitophagy, calcium and beyond Hydrogen-Deuterium Exchange Mass Spectrometry CANCELLED - Methodology Masterclass: Exploring the pedagogic possibilities of new diaspora formations and transnationalism. Girton College 57th Foundersâ€™ Memorial Lecture with Hisham Matar: Life and Work Autumn Cactus & Succulent Show |