Stack Overflow
Stack Overflow

Questions tagged [reasoned-schemer]

The Reasoned Schemer is a book on logic programming written by Daniel P. Friedman, William E. Byrd, and Oleg Kiselyov. A related tag on SO is minikanren.

The Reasoned Schemer is a book on logic programming written by Daniel P. Friedman, William E. Byrd, and Oleg Kiselyov.

A related tag on SO is .

16 questions
0
votes
1 answer

Why is `(,x) a shorthand for (cons x '())?

I'm told that: `(,x) is a shorthand for (cons x '()). I'm a bit confused because that's not documented anywhere. Also if that is the case, what does `(((pea)) ,q) evaluate to? And why is pea wrapped in two sets of parens?
Alper
  • 3,424
  • 4
  • 39
  • 45
1
2