Logik i datavetenskap och artificiell intelligens - FILD10 - Memmo