ISA-Vortrag "3 mal Sudoku - Logik und Constraints in Clojure"

... am 29.04.15 um 15.45 Uhr

 

Am Beispiel von Sudoku werden drei Bibliotheken für Logik und Constraints in Clojure vorgestellt:

1. Logic Workbench (lwb), eine Bibliothek für die Aussagen- und Prädikatenlogik, entwickelt an unserem Institut,
2. Kodkod in Clojure (kic), ein Wrapper um Emina Torlaks Constraint Solver Kodkod, und
3. core.logic, die Bibliothek für die Logikprogrammierung in Clojure.

 

Referenten: Burkhardt Renz

29. April 2015 um 15.45 Uhr in Raum A20.2.11

Interessierte sind herzlich eingeladen!


clojure-icon