DEVHIDE
Login Or Sign up

List Question

20
497
Views

Why does 'The Reasoned Schemer' add an 'o' to the end of its functions?

Published on
#scheme #minikanren #reasoned-schemer
133
Views

MiniKanren Racket multiplication for unary numbers

Published on
#racket #logic-programming #minikanren
121
Views

Infinite loop with `counto` relation in core.logic

Published on
#clojure #logic-programming #clojure-core.logic #minikanren
943
Views

mini-Kanren, core.logic, clojure: Reasoned Scheme Exercise 60

Published on
#clojure #logic #minikanren #clojure-core.logic
1.1k
Views

Arenas where core.logic dominates [soft]

Published on
#clojure #prolog #logic #minikanren
3.6k
Views

conda, condi, conde, condu

Published on
#clojure #scheme #clojure-core.logic #minikanren #reasoned-schemer
201
Views

How to use quote and unquote to more faithfully translate The Reasoned Schemer into Racket?

Published on
#scheme #racket #quote #minikanren
219
Views

In Racket's mini-kanren libraries, where is condi?

Published on
#racket #minikanren
431
Views

In logic programming, what is unnesting for?

Published on
#logic-programming #minikanren
319
Views

Feature structure unification in minikanren

Published on
#scheme #racket #unification #minikanren
548
Views

How to select from a set of possible values in minikanren / clojure-core.logic?

Published on
#clojure #scheme #clojure-core.logic #minikanren
1k
Views

Partial Dictionary/Record Unification?

Published on
#prolog #clojure-core.logic #minikanren
122
Views

Synthesize smallest map satisfying featurec constraints in core.logic?

Published on
#clojure #logic-programming #clojure-core.logic #minikanren
169
Views

Detecting Bigamy with minikanren

Published on
#python #logic-programming #minikanren
97
Views

How can I gensym when writing a compiler in Kanren?

Published on
#scheme #chicken-scheme #minikanren
49
Views

How can I provide an imperative default for a relation in miniKanren?

Published on
#chicken-scheme #minikanren
756
Views

Is a "facts database" not a core feature of miniKanren?

Published on
#clojure-core.logic #minikanren #reasoned-schemer #knowledge-base-population
148
Views

Why is this contradictory clojure.core.logic/featurec result being returned?

Published on
#clojure #logic-programming #clojure-core.logic #minikanren
160
Views

Correct use of logic languages as a tool

Published on
#prolog #logic-programming #clojure-core.logic #minikanren
758
Views

MiniKanren support by Dr Racket

Published on
#scheme #racket #minikanren #reasoned-schemer

Trending Questions

Popular # Hahtags

javascript python java c# php android html jquery c++ css ios sql mysql r reactjs node.js arrays c asp.net json python-3.x ruby-on-rails .net sql-server swift django angular objective-c pandas excel

Popular Questions

Copyright © 2021 Jogjafile Inc.