MiniKanren
id:
minikanren-313-2401012
title:
MiniKanren
text:
miniKanren is a family of programming languages for relational programming. As relations are bidirectional, if miniKanren is given an expression and a desired output, miniKanren can run the expression "backward", finding all possible inputs to the expression that produce the desired output. This bidirectional behavior allows the user to constrain both the input to the program and the result of the program simultaneously. miniKanren performs an interleaved search which will eventually find any so
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/MiniKanren
date created:
date modified:
2023-04-24T13:55:25Z
main entity:
{"identifier":"Q14171534","url":"https://www.wikidata.org/entity/Q14171534"}
image:
fields total:
13
integrity:
13