About: MiniKanren

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Family of programming languages for logic/relational programming

Property	Value
dbo:description	family of programming languages for logic/relational programming (en)
dbo:wikiPageExternalLink	http://minikanren.org/ https://pub.dev/packages/logic
dbo:wikiPageWikiLink	dbc:Logic_programming dbr:Logic_programming dbr:Clojure dbr:Quine_(computing) dbr:Automated_theorem_proving dbr:Dart_(programming_language) dbc:Programming_languages dbr:JavaScript dbr:Tree_traversal dbr:Programming_language dbr:Binary_relation dbr:Scheme_(programming_language) dbr:Ruby_(programming_language) dbr:Racket_(programming_language) dbr:Scala_(programming_language) dbr:Python_(programming_language) dbr:Expression_(computer_science) dbr:Haskell_(programming_language) dbr:Swift_(programming_language) dbr:Nominal_logic dbr:Relational_programming
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Lowercase_title
dct:subject	dbc:Logic_programming dbc:Programming_languages
gold:hypernym	dbr:Family
rdfs:label	MiniKanren (en) MiniKanren (zh)
owl:sameAs	freebase:MiniKanren yago-res:MiniKanren wikidata:MiniKanren dbpedia-zh:MiniKanren dbpedia-global:MiniKanren dbr:MiniKanren
prov:wasDerivedFrom	wikipedia-en:MiniKanren?oldid=1296505893&ns=0
foaf:homepage	http://minikanren.org/ http://minikanren.org/
foaf:isPrimaryTopicOf	wikipedia-en:MiniKanren
is dbo:wikiPageRedirects of	dbr:Minikanren
is dbo:wikiPageWikiLink of	dbr:Racket_features dbr:Minikanren
is foaf:primaryTopic of	wikipedia-en:MiniKanren

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International