TP 2 et 3 de LOG
----------------

Vous travaillerez avec l'application en ligne LOGIC4FUN à https://l4f.cecs.anu.edu.au/

Séance 1 : Tuto L4F 
0. commencer le tuto à https://l4f.cecs.anu.edu.au/guide/welcome
jusqu'à l'exemple The four Spies Problem
2. continuer https://l4f.cecs.anu.edu.au/guide/built-ins
3. continuer https://l4f.cecs.anu.edu.au/guide/functions-revisited
4. continuer https://l4f.cecs.anu.edu.au/guide/connectives
5. continuer https://l4f.cecs.anu.edu.au/guide/connectives-and-quantifiers
6. continuer https://l4f.cecs.anu.edu.au/guide/how-many-romans

Séance 2 : Répondre au problème suivant.

"Departure Bored"
-----------------

[One important point to remember is that the departure times cannot be
written “11:50” etc because the solver treats this as meaning two
integers, “11” and “50”, which do not make sense in this context. Your
departure times should begin with letters, or at any rate with
something other than numerical digits. You could write “dep_1150” or
“@1150” for instance. Note that you should not use the colon in the
middle of expressions either, because the solver will think it is just
punctuation and you are likely to get error messages.]

To pass the time when I was stuck in a busy airport recently, I
decided to memorize the list of departures. You should try this
sometime: it is slightly more interesting than dusting the spokes of
your umbrella. On this occasion, I noticed that the next five flights
departed from gates 1 to 5, though not in that order. They were all
operated by different airlines and departed for different
destinations, the first at 10:30 and the last at 12:00. Afterwards,
when safely installed in my Economy Class seat, I jotted down what I
could remember of the list, which was as follows:

    1. The gate number of the Qantas flight, which departed at 11:50, was one greater than that of the flight to Frankfurt.
    
    2. The 10:45 departure did not leave from gate 3, and was not the United Airlines flight; United’s destination was Paris.
    
    3. The Sydney flight had gate number one less than that of the Scandinavian Airlines flight.

    4. Either Singapore Airlines or Lufthansa left from gate 2 at 11:05.
    
    5. The flight to Los Angeles left at 10:30, but not from gate 1. It was not operated by Singapore Airlines.
    
    6.The flight to London Heathrow left from gate 4.

Help me remember the rest.