Logikprogrammering med core.logic

Fakta
Hvor
Ative, Flæsketorvet 68, 1. sal, 1711 Kbh. V
Hvornår
19. jan 2012
Tidspunkt
16:00 - 18:00
Sprog
Dansk
Pris
Gratis

Denne gang vil Martin Jul give en introduktion til logikprogrammering i Clojure med core.logic pakken, en fantastisk inspirerende kombination af funktions- og logikprogrammering.

Det er velegnet til f.eks. planlægningssystemer eller regelmaskiner til f.eks. produktkonfiguration.

Her er et par links at varme op med:

Værd at læse:

Der findes en fantastisk bog om logikprogrammering i funktionsprogrammeringssprog, der beskriver grundlaget for core.logic (med eksempler i Scheme, men det er tæt nok på Clojure syntaks til at det ikke gør noget).

Den er enestående fordi den underviser stoffet gennem spørgsmål og svar, uden svævende teoriafsnit:

"The Reasoned Schemer", Friedman, Byrd & Kiselyov, MIT
Press, http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=10663