Prolog-Style Meta-Programming miniKanren (miniKanren 2021)

Sun 22 - Sat 28 August 2021

Who

Nada Amin, William E. Byrd, Tiark Rompf

Track

miniKanren 2021

Time Zone

The program is currently displayed in (GMT+09:00) Seoul.

Use conference time zone: (GMT+09:00) SeoulSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Thu 26 Aug 2021 23:30 - 00:00 at miniKanren - Session B Chair(s): Michael Ballantyne

Abstract

We bring external reification and reflection facilities to miniKanren, inspired by the traditional applications in Prolog such as meta-interpreters and partial evaluators. We illustrate meta-programming in relational programming with several examples.

Link to Preprint

https://github.com/namin/metamk/blob/master/doc.pdf

Nada Amin

Harvard University

United States

William E. Byrd

University of Alabama at Birmingham, USA

United States

Tiark Rompf

Purdue University

United States

miniKanren 2021 - Prolog-Style Meta-Programming miniKanren

Time Zone

The program is currently displayed in (GMT+09:00) Seoul.

Use conference time zone: (GMT+09:00) SeoulSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Thu 26 Aug
Displayed time zone: Seoul change

23:30 - 01:00	Session BminiKanren at miniKanren Chair(s): Michael Ballantyne Northeastern University

23:30 30m Paper		Prolog-Style Meta-Programming miniKanren miniKanren Nada Amin Harvard University, William E. Byrd University of Alabama at Birmingham, USA, Tiark Rompf Purdue University Pre-print Media Attached
00:00 30m Paper		Guarded Fresh Goals: Dependency-Directed Introduction of Fresh Logic Variables miniKanren Evan Donahue University of Tokyo Pre-print Media Attached
00:30 30m Paper		Universal Quantification and Implication in miniKanren miniKanren Ende Jin , Gregory Rosenblatt University of Alabama at Birmingham, USA, Matthew Might University of Alabama at Birmingham \| Harvard Medical School, Lisa Zhang University of Toronto Mississauga Pre-print Media Attached