core.logic








Konrad Scorciapino
@konr

(== core.logic ?x)




  • Programmação logica
  • miniKanren
  • In cyma do Clojure

Programmação logica





  • Factos et regras
  • De traz pra frente


Exemplos





  • Prolog
  • Datalog
  • miniKanren

miniKanren


Clojure!




  • Moderno (et de installação rapida!)
  • Multiplataforma
  • À la carte

Passo 1


 (defproject core.logic-demo "0.1.0-SNAPSHOT"
  ...  :dependencies [[org.clojure/clojure "1.5.1"]
                 [org.clojure/core.logic "0.8.5"]])

Passo 2


 (ns core.logic-demo  (:refer-clojure :exclude [==])
  (:require [clojure.core.logic :refer :all]))

Passo 3


*abir o REPL*

Passo 4


 user> (in-ns 'core.logic-demo)
nilcore.logic-demo>

Demo


(demo)

Onde é usado



  • Webdriver Logic
  • Kibit (analysador de codigo!)
  • Monotony
  • Extensões do Schema?

Programmação logica



  • Cascalog
  • Datomic

Suggestões


:)

Made with Slides.com