miniKanren and Relational Programming 2020 workshop August 23-28, 2020 https://icfp20.sigplan.org/home/minikanren-2020