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
- The Reasoned Schemer
-
http://minikanren.org/
-
http://github.com/martintrojer/reasoned-schemer-core.logic
:)
core.logic
By Konrad Scorciapino
