Question

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

score 443 · Answer 1 · 2015-06-25 10:16:46

443

Views

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

Published on 25 June 2015 at 10:16

score 83 · Answer 2 · 2023-11-10 21:25:37

83

Views

MiniKanren Racket multiplication for unary numbers

Published on 10 November 2023 at 21:25

score 71 · Answer 3 · 2023-11-19 06:42:41

71

Views

Infinite loop with `counto` relation in core.logic

Published on 19 November 2023 at 06:42

score 896 · Answer 4 · 2012-05-31 05:10:58

896

Views

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

Published on 31 May 2012 at 05:10

score 1k · Answer 5 · 2012-06-02 00:55:25

1k

Views

Arenas where core.logic dominates [soft]

Published on 02 June 2012 at 00:55

score 3.5k · Answer 6 · 2012-06-01 02:08:39

3.5k

Views

conda, condi, conde, condu

Published on 01 June 2012 at 02:08

score 159 · Answer 7 · 2018-11-16 03:35:35

159

Views

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

Published on 16 November 2018 at 03:35

score 176 · Answer 8 · 2018-11-17 20:07:04

176

Views

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

Published on 17 November 2018 at 20:07

score 383 · Answer 9 · 2018-11-17 00:46:53

383

Views

In logic programming, what is unnesting for?

Published on 17 November 2018 at 00:46

score 267 · Answer 10 · 2018-11-22 17:17:51

267

Views

Feature structure unification in minikanren

Published on 22 November 2018 at 17:17

score 535 · Answer 11 · 2012-08-03 18:42:48

535

Views

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

Published on 03 August 2012 at 18:42

score 1k · Answer 12 · 2012-10-09 22:02:16

1k

Views

Partial Dictionary/Record Unification?

Published on 09 October 2012 at 22:02

score 109 · Answer 13 · 2018-09-25 07:18:42

109

Views

Synthesize smallest map satisfying featurec constraints in core.logic?

Published on 25 September 2018 at 07:18

score 154 · Answer 14 · 2016-02-20 03:04:25

154

Views

Detecting Bigamy with minikanren

Published on 20 February 2016 at 03:04

score 86 · Answer 15 · 2022-12-16 18:36:37

86

Views

How can I gensym when writing a compiler in Kanren?

Published on 16 December 2022 at 18:36

score 36 · Answer 16 · 2023-01-03 08:00:22

36

Views

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

Published on 03 January 2023 at 08:00

score 711 · Answer 17 · 2020-07-17 22:36:16

711

Views

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

Published on 17 July 2020 at 22:36

score 136 · Answer 18 · 2015-08-21 14:33:54

136

Views

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

Published on 21 August 2015 at 14:33

score 149 · Answer 19 · 2018-05-24 17:01:54

149

Views

Correct use of logic languages as a tool

Published on 24 May 2018 at 17:01

score 710 · Answer 20 · 2018-05-28 14:51:47

710

Views

MiniKanren support by Dr Racket

Published on 28 May 2018 at 14:51

List Question

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

MiniKanren Racket multiplication for unary numbers

Infinite loop with `counto` relation in core.logic

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

Arenas where core.logic dominates [soft]

conda, condi, conde, condu

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

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

In logic programming, what is unnesting for?

Feature structure unification in minikanren

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

Partial Dictionary/Record Unification?

Synthesize smallest map satisfying featurec constraints in core.logic?

Detecting Bigamy with minikanren

How can I gensym when writing a compiler in Kanren?

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

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

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

Correct use of logic languages as a tool

MiniKanren support by Dr Racket

Trending Questions

Popular # Hahtags

Popular Questions