List Terms and Set Terms
List Term
- (listof <term>* [<seqvar>])
E.g., (listof A B C) (listof A ?second @rest)
- SIV((listof term1 … termn)) = áSIV(term1), …, SIV(termn)ñ
- SIV((listof term1 … termn @var)) =
áSIV(term1), …, SIV(termn) | V(@var)ñ
Set Term
- (setof <term>* [<seqvar>])
E.g., (setof A B C) (setof A ?X @Z)
- SIV((setof term1 … termn)) = {SIV(term1), …, SIV(termn)}
- SIV((setof term1 … termn @var)) =
{SIV(term1), … ,SIV(termn)} U {x | ($i) x = SIV(nth(@var i))}