17.21. 基本的な条件要素

//infixAnd
Cheese( cheeseType : type ) and Person( favouriteCheese == cheeseType )

//infixAnd
Cheese( cheeseType : type ) and Person( favouriteCheese == cheeseType )

//infixAnd with grouping
( Cheese( cheeseType : type ) and
  ( Person( favouriteCheese == cheeseType ) or 
    Person( favouriteCheese == cheeseType ) )

//infixAnd with grouping
( Cheese( cheeseType : type ) and
  ( Person( favouriteCheese == cheeseType ) or 
    Person( favouriteCheese == cheeseType ) )

(and Cheese( cheeseType : type )
     Person( favouriteCheese == cheeseType ) )

(and Cheese( cheeseType : type )
     Person( favouriteCheese == cheeseType ) )

when
    Cheese( cheeseType : type )
    Person( favouriteCheese == cheeseType )
then
    ...

when
    Cheese( cheeseType : type )
    Person( favouriteCheese == cheeseType )
then
    ...

//infixOr
Cheese( cheeseType : type ) or Person( favouriteCheese == cheeseType )

//infixOr
Cheese( cheeseType : type ) or Person( favouriteCheese == cheeseType )

//infixOr with grouping
( Cheese( cheeseType : type ) or
  ( Person( favouriteCheese == cheeseType ) and
    Person( favouriteCheese == cheeseType ) )

//infixOr with grouping
( Cheese( cheeseType : type ) or
  ( Person( favouriteCheese == cheeseType ) and
    Person( favouriteCheese == cheeseType ) )

(or Person( sex == "f", age > 60 )
    Person( sex == "m", age > 65 )

(or Person( sex == "f", age > 60 )
    Person( sex == "m", age > 65 )

pensioner : ( Person( sex == "f", age > 60 ) or Person( sex == "m", age > 65 ) )

pensioner : ( Person( sex == "f", age > 60 ) or Person( sex == "m", age > 65 ) )

(or pensioner : Person( sex == "f", age > 60 ) 
    pensioner : Person( sex == "m", age > 65 ) )

(or pensioner : Person( sex == "f", age > 60 ) 
    pensioner : Person( sex == "m", age > 65 ) )

// Brackets are optional:
not Bus(color == "red")
// Brackets are optional:
not ( Bus(color == "red", number == 42) )
// "not" with nested infix and - two patterns,
// brackets are requires:
not ( Bus(color == "red") and
      Bus(color == "blue") )

// Brackets are optional:
not Bus(color == "red")
// Brackets are optional:
not ( Bus(color == "red", number == 42) )
// "not" with nested infix and - two patterns,
// brackets are requires:
not ( Bus(color == "red") and
      Bus(color == "blue") )

exists Bus(color == "red")
// brackets are optional:
exists ( Bus(color == "red", number == 42) )
// "exists" with nested infix and,
// brackets are required:
exists ( Bus(color == "red") and
         Bus(color == "blue") )

exists Bus(color == "red")
// brackets are optional:
exists ( Bus(color == "red", number == 42) )
// "exists" with nested infix and,
// brackets are required:
exists ( Bus(color == "red") and
         Bus(color == "blue") )