Skip to content

Instantly share code, notes, and snippets.

@pelletier

pelletier/sample.lisp

Created May 26, 2011 17:50
Show Gist options
  • Save pelletier/993619 to your computer and use it in GitHub Desktop.
Save pelletier/993619 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
sample.lisp
(:section "8.5 Limits of Rule-Based Approaches")
"In this section we return to some examples that pose problems."
"For the following, we would prefer (2 * (x + y))"
((simp '(x + y + y + x)) => (X + (Y + (Y + X))))
"For the following, we would prefer (7 * X) and (Y + (8 * X)), respectively:"
((simp '(3 * x + 4 * x)) => ((3 * X) + (4 * X)))
((simp '(3 * x + y + x + 4 * x)) => ((3 * X) + (Y + (X + (4 * X)))) )
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment