core.logic (Clojure)

제�5회�Lisp�seminar�@D2�STARTUP�FACTORY,�2016.11.12

김선호

Clojure,��

웹개발이�다가�아니에요

Clojure�가�잘할�수�있는�영역?

Java에�비해�편리한

chap16.�

생각하는�프로그램

core.logic

1. 첫번째�빈�칸에�숫자�배치�

2. 조건�부합�여부�확인�

3. 다음�칸으로�이동하고�배치�

4. 반복

행,�열,�서브그리드에서�유일한�숫자인가

이렇게?

이렇게!

원리는�별�것�아닙니다

https://www.jug.ch/events/slides/140225_Clojure_gix.pdf�

Data�is�Code�is�Data

명령형��

vs.�

선언형,�제약조건형

명령형

Imperative Programming

The three keys needed...

logic key functional key imperative key

명령형

선언형(논리�프로그래밍)Logic Programming

Just one key is needed...

logic key

선언형(논리�프로그래밍)Logic Programming

Just one key is needed...

logic key

miniKanren

What is logic programming?

semantic elements

logic programming

querylogicvariable

grounded

knowledgebase

proposition

predicate

finitedomains

constraints

deduction

depth-firstsearch

backtracking

unificationinduction

satisfyingassignment

What is logic programming?

abstract ... concrete

logic programming

query knowledgebase

deductionsatisfyingassignment

In which year was julia twice as oldclodette?

julia was born 2 years before clodette

julia was born in 1978

age 2 N, 0 age 120year 2 N, 1978 age 2098

어떻게�생겨먹었나..�joy.logic.planets

http://bit.ly/2g4cfvV

http://lanyrd.com/2012/euroclojure/stfyd/�

Logic�Variable

(relation�source�target)

개념상�그냥�제가�사용한�표현일�뿐,�

공식�표현이�아닙니다..

간단한�예

(run*�[q]�(conso�q�[]�[:a]))

=>�(:a)

간단한�예

(run*�[q]�� (membero�q�[:a�:b�:c]))

정답이�여러개?

(run*�[q]�� (membero�q�[:a�:b�:c]))

=>�(:a�:b�:c)

(run�1�[q]�� (membero�q�[:a�:b�:c]))

=>�(:a)

(run*�[q]�(membero�:b�[:a�:b�:c]))

이건�뭐지?

(run*�[q]�(membero�:b�[:a�:b�:c]))

=>�(_0)

이건�뭐지?

(run*�[q]�(membero�:b�[:a�:b�:c])�(==�q�true))

=>�(true)

단일화(unification)

(run*�[q]�(membero�q�[:a�:b�:c])�(membero�q�[:b�:c�:d]))

조건이�여러개라면?

(run*�[q]�(membero�q�[:a�:b�:c])�(membero�q�[:b�:c�:d]))

=>�(:b�:c)

조건이�여러개라면?

(run*�[q]�(membero�q�[:a�:b�:c])�(membero�:a�[:b�:c�q]))

이런�것도�됩니다

(run*�[q]�(membero�q�[:a�:b�:c])�(membero�:a�[:b�:c�q]))

=>�(:a)

이런�것도�됩니다

스도쿠로�돌아와서

조건

단일화

논리변수�초기화

답은�한�개만!

실행해볼까요?�joy.logic.sdokufd

http://bit.ly/2eLT44W

그래서..�어디에�써먹나?�

(논리적?)�데이터베이스

SELECT * FROM GEEKS WHERE GEEK_ID=0;

geed_id geek_name

0 Archimedes

Tuesday, 22 May 2012

Datomic

Datomic�질의언어:�Datalog

https://en.wikipedia.org/wiki/Datalog�

Datalog

하둡기반�데이터�처리/질의

RDF�데이터�질의�프레임워크

감사합니다!

Facebook:�@ksseono�

Twitter:�@SeonhoKim

core.logic (Clojure)

Technology

Clojure night

Hadoop + Clojure

Clojure twitter

Clojure and FP

Introducción a Clojure

Clojure at DataStax: The Long Road From Python to Clojure

Antifragile Clojure

(first '(Clojure.))

Clojure slides

Clojure presentation

Clojure #1

Clojure und core.logic - hello to the world of logic ... · Clojure und core.logic...hello to the world of logic programming christian.meichsner@xelog.com 25. Februar 2014

Clojure Interoperability

3 times Sudoku - GitHub Pages · About core.logic core.logic is a logic programming library for Clojure and ClojureScript core.logic is a port of miniKanren, developed ﬁrst in Scheme

Clojure testing with Midje - inovex GmbH · Clojure testing with Midje Author: Tobias Bayer, inovex Subject: clojure, midje, testing Keywords: clojure, midje, testing Created Date:

Stm in-clojure

Cracking clojure

Programming Clojure

Clojure forbeginners

Introduction to Clojure - Digital Digressions by Stuart … · Stuart Sierra Relevance, Inc. Clojure/core Clojure contributor Sunday, September 18, 2011 3