Re: [Lisa-users] how to bind a variable with multislots in the LHS?

[<kro...@gm...>]

kro...@gm... (Pedro Kröger) writes:

> How do I represent this in lisa? none of these work:
>
>   (?f1 (solution (data '(nationality ?n1 1))))
>   (?f1 (solution (data (list nationality ?n1 1))))
>   (?f1 (solution (data (nationality ?n1 1))))

For example, using (?f1 (solution (data '(nationality ?n1 1)))) gives me
this error:

Rule parsing error: rule name PRINT-SOLUTION, pattern location 0 (malformed slot)
   [Condition of type LISA::RULE-PARSING-ERROR]

Restarts:
 0: [ABORT] Abort SLIME compilation.
 1: [ABORT] Return to SLIME's top level.
 2: [TERMINATE-THREAD] Terminate this thread (#<THREAD "worker" {B75CE31}>)

Backtrace:
  0: (LISA::PARSE-ONE-SLOT (DATA (QUOTE (NATIONALITY ?N1 1))) 0)
  1: (LISA::PARSE-GENERIC-PATTERN (SOLUTION (DATA (QUOTE #))) 0 ?F1)

The manual says that this is valid:

(fact-with-list (list '(1 2 three)))

so, at least I shouldn't get a "rule-parsing-error" (even if the logical
variables are not recognized because of the quote).

Pedro