Loading ...
Sorry, an error occurred while loading the content.

682AIMA Code

Expand Messages
  • www.shurik
    May 17, 2006
      What is the infix logic format for first order logic, that can be
      passed to the logic function. According to the specs (logic "forall(x,
      P(x))") should work, but that fails, as well as anything else I've tried.

      [84]> (logic "forall(x, P(x))")
      *** - Bad syntax for infix expression: (FORALL (|(| $X |,| (P $X)) |)|)