3 ms·

Hmmm... perhaps Prolog and Lisp?

• yazr 8y ago
  As in, "fill-in-the-spaces will soon free us from the tyranny of imperative programming"...
• paulmd 8y ago
  > Hmmm... perhaps Prolog and Lisp? "when the proof search accidentally returns the trivial case"
• protomyth 8y ago
  Like in The Reasoned Schemer? https://mitpress.mit.edu/books/reasoned-schemer https://mitpress.mit.edu/books/reasoned-schemer