Iterating in the Assert Clause

[Chris]

Is it possible to use forall in the assert statement? For example, I'd
like to assert several facts from an arbitrary list of elements
accumulated in the foreach clause:

create_words
foreach
facts.sentence($uid, $sentence)
$words = enumerate($sentence.split(' '))
assert
forall
$i,$word in $words
facts.word($uid, $i, $word)

[Bruce Frederiksen]

No, the forall may only be used in the foreach clause.

But you can just write the rule as:

create_words
  foreach
    facts.sentence($uid, $sentence)
    ($i, $word) in enumerate($sentence.split(' '))
  assert
    facts.word($uid, $i, $word)

-Bruce

--

You received this message because you are subscribed to the Google Groups "PyKE" group.
To post to this group, send email to py...@googlegroups.com.
To unsubscribe from this group, send email to pyke+uns...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/pyke?hl=en.

[Chris]

Thanks, that works great.

> > pyke+uns...@googlegroups.com <pyke%2Bunsu...@googlegroups.com>.