bild
Skolan för
datavetenskap
och kommunikation
KTH / CSC / Kurser / DD1350 / logik09 / Labbar

Logik för dataloger, logik09

Labbar

Inbokning till labbredovisning

Ingen inbokning behövs till extra redovisningstillfället den 18/11, men ställ dig gärna på sima-kön.

Laborationsuppgift 1

Labtexten finns här: Laboration 1

Ett tips om en förbättring av inläsning finns här: Korrigering

Här är några tester: indata1.txt, indata2.txt, indata3.txt, indata4.txt

Den 16, 22 och 23 april är det lab-tillfälle med hjälp. Redovisningen sker den 30 april.

Föreläsningarna den 14 och 15 april kommer att handla om Prolog och bakomliggande teknik.

För de som redan nu vill lära sig lite om Prolog finns följande manual. Manual för Sicstus Prolog

Laborationsuppgift 2

Labtexten finns här. Ett programskelett hittar du här.

Exempel på indata finns här. Du kan också testa ditt program med följande testprogram.

Den 7 maj är det lab-tillfälle med hjälp. Redovisningen sker den 12 maj. Observera att i labbuppgiften ingår en sriftlig rapport som underlag till redovisningen.
Copyright © Sidansvarig: Dilian Gurov <dilian@csc.kth.se>
Uppdaterad 2009-01-29