We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

miniKanren: a minimal declarative language for relational programming

31
 Zitieren
 Teilen
 Herunterladen
 Bestellen
Logo von FOSDEM VZWFOSDEM VZW
 Byrd, William

Formale Metadaten

Titel
miniKanren: a minimal declarative language for relational programming
Serientitel
Anzahl der Teile
637
Autor
Mitwirkende
Et al.
Lizenz
CC-Namensnennung 2.0 Belgien:
Sie dürfen das Werk bzw. den Inhalt zu jedem legalen Zweck nutzen, verändern und in unveränderter oder veränderter Form vervielfältigen, verbreiten und öffentlich zugänglich machen, sofern Sie den Namen des Autors/Rechteinhabers in der von ihm festgelegten Weise nennen.
Identifikatoren
Herausgeber
Erscheinungsjahr2021
SpracheEnglisch

Inhaltliche Metadaten

Fachgebiet
Genre
Abstract
In this talk I will give an introduction to miniKanren, a minimal embedded domain-specific language for constraint logic programming. miniKanren is designed to support relational programming, in which all code is written as mathematical relations, with no distinction between inputs and outputs. miniKanren uses a complete interleaving search, combined with unification and other constraints, to solve for variables representing unknown values. In effect, every miniKanren query is a program synthesis problem.