minikanren

Vor kurzem habe ich in Graph-Datenbanken wie Neo4j und in Logik-Programmierung in Prolog und MiniKanren gesucht. Von dem, was ich bisher gelernt habe, erlauben beide, Fakten und Beziehungen zwischen ihnen zu spezifizieren, und auch das resultier...