William E. Byrd, “A New Relational Language”

Abstract: I’d like to talk about a new relational programming language I’ve just started working on, attempting to combine the pure relationality of miniKanren with better control of search and constraint solving.  In particular, the language should make it easier to implement efficient program synthesis algorithms.  Following Kowalski’s famous paper, `Algorithm = Logic + Control`, the language will separate logical specification from control via a tactics language.  This language is inspired by Dan Friedman’s original vision of miniKanren, suggestions by Michael Ballantyne to create this type of language, and conversations with Greg Rosenblatt, Nada Amin, Jason Hemann, Dmitri Boulytchev, and many others in the miniKanren community.

Bio: Will Byrd is a scientist at the Hugh Kaul Precision Medicine Institute at the University of Alabama at Birmingham.  He is co-author of both editions of ‘The Reasoned Schemer’, and one of the creators of the miniKanren relational programming language.  Will is also one of the creators of mediKanren, a system for bio-medical reasoning based on miniKanren, and funded under the NIH NCATS Biomedical Data Translator Project.

Claude Jager-Rubinson is inviting you to a scheduled Zoom meeting.

Topic: Houston Functional Programmers
Time: Jan 17, 2024 07:00 PM Central Time (US and Canada)
Every month on the Third Wed, until Nov 20, 2024, 11 occurrence(s)
Jan 17, 2024 07:00 PM
Feb 21, 2024 07:00 PM
Mar 20, 2024 07:00 PM
Apr 17, 2024 07:00 PM
May 15, 2024 07:00 PM
Jun 19, 2024 07:00 PM
Jul 17, 2024 07:00 PM
Aug 21, 2024 07:00 PM
Sep 18, 2024 07:00 PM
Oct 16, 2024 07:00 PM
Nov 20, 2024 07:00 PM
Please download and import the following iCalendar (.ics) files to your calendar system.
Monthly: https://uhd.zoom.us/meeting/tZcrceGuqTkoH9Lz2KOcwwZqYRmqgda4Bhi1/ics?icsToken=98tyKuGrqD0iHNOXshyBRpwqBI_oWe7wtnpBgvpxhk3OLCNEdTnnD9BPI7V7EYzy

Join Zoom Meeting
https://uhd.zoom.us/j/83668672256?pwd=Wld3QXhkczVMaktYYmJQUnp2aG5VZz09

Meeting ID: 836 6867 2256
Passcode: recursion

—

One tap mobile
+13462487799,,83668672256# US (Houston)
+12063379723,,83668672256# US (Seattle)

—

Dial by your location
• +1 346 248 7799 US (Houston)
• +1 206 337 9723 US (Seattle)
• +1 213 338 8477 US (Los Angeles)
• +1 253 215 8782 US (Tacoma)
• +1 602 753 0140 US (Phoenix)
• +1 669 219 2599 US (San Jose)
• +1 669 900 6833 US (San Jose)
• +1 720 928 9299 US (Denver)
• +1 971 247 1195 US (Portland)
• +1 470 381 2552 US (Atlanta)
• +1 646 518 9805 US (New York)
• +1 646 558 8656 US (New York)
• +1 651 372 8299 US (Minnesota)
• +1 786 635 1003 US (Miami)
• +1 267 831 0333 US (Philadelphia)
• +1 301 715 8592 US (Washington DC)
• +1 312 626 6799 US (Chicago)
• +1 470 250 9358 US (Atlanta)

Meeting ID: 836 6867 2256

Find your local number: https://uhd.zoom.us/u/khzdUKqt3

—

Join by SIP
• 83668672256@zoomcrc.com

—

Join by H.323
• 162.255.37.11 (US West)
• 162.255.36.11 (US East)
• 115.114.131.7 (India Mumbai)
• 115.114.115.7 (India Hyderabad)
• 213.19.144.110 (Amsterdam Netherlands)
• 213.244.140.110 (Germany)
• 103.122.166.55 (Australia Sydney)
• 103.122.167.55 (Australia Melbourne)
• 149.137.40.110 (Singapore)
• 64.211.144.160 (Brazil)
• 149.137.68.253 (Mexico)
• 69.174.57.160 (Canada Toronto)
• 65.39.152.160 (Canada Vancouver)
• 207.226.132.110 (Japan Tokyo)
• 149.137.24.110 (Japan Osaka)

Meeting ID: 836 6867 2256
Passcode: 416074723