Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Thu 22 Aug 2019 14:15 - 15:00 at Elk - Session 3 Chair(s): Thomas Gilray

We present an extension of miniKanren with the negation operator based on the method of constructive negation. The idea of this method is to constructively build a stream of answers for the negated goal by collecting and negating individual answers to the positive version of the goal. As we demonstrate on the series of examples constructive negation suits to pure logical nature of miniKanren: the relations involving the negation operator still can be “run” in various directions.

Thu 22 Aug

minikanren-2019-papers
13:30 - 15:00: miniKanren 2019 - Session 3 at Elk
Chair(s): Thomas GilrayUniversity of Maryland
minikanren-2019-papers13:30 - 14:15
Full-paper
Link to publication
minikanren-2019-papers14:15 - 15:00
Full-paper
Link to publication