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

AIMA Code

Expand Messages
  • www.shurik
    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,
    Message 1 of 1 , May 17 5:12 PM
    • 0 Attachment
      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)) |)|)

      Alex
    Your message has been successfully submitted and would be delivered to recipients shortly.