Här kommer en ny liten trevlig labb inför julen. Denna är en
omformulering av den sista uppgiften i predikatlogiklabben, så att den
är konstruktivt giltig. Uppgiften finns i
~malo/labb_KonstruktivDrinkare
Den är nog klart svårare än den klassiska drinkaren. Korrekt lösning
ger en halv poäng på VG gränsen. Och ingen ledning kommer att ges! Och
självfallet skall den lösas utan RAA!