clojure/core.logic on Hacker News

▲ 25

core.logic

story by tosh · 2026-05-02 · 0 comments

…) and various ports like CL ( https://github.com/rgc69/si-kanren ) or Clojure ( https://github.com/clojure/core.logic )

comment by BoingBoomTschak · 2025-01-02 · in What Is miniKanren?

It's also available in Clojure: https://github.com/clojure/core.logic If you want to write one yourself, it's pretty easy: https://www.youtube.com/watch?v=y1bVJOAfhKY

comment by erichocean · 2024-01-30 · in A Tour of the Lisps

…know Prolog well enough to make good use of all the esoteric function names but it seemed cool. https://github.com/clojure/core.logic

comment by gleenn · 2023-09-12 · in The Power of Prolog

…the design pattern of slipping into/out-of DSLs. [1] http://nikodemus.github.io/screamer/ [2] https://github.com/clojure/core.logic

comment by BeautifulSynch · 2023-06-04 · in Logic programming is overrated, at least for logic puzzles (2013)

▲ 1

A Core.logic Primer

story by fulafel · 2021-02-24 · 0 comments

You could study core.logic: https://github.com/clojure/core.logic/tree/master/src/main/c... I swear I'd bookmarked a resource that was more analogous to #2, but you may want to have a look at The Little Prover:…

comment by ethagnawl · 2021-02-23 · in The birth of Prolog (1992) [pdf]

related: https://github.com/clojure/core.logic/wiki/A-Core.logic-Prim...

comment by dgb23 · 2021-01-05 · in Why Learn Prolog in 2021?

…not a prolog or logic programming buff, but have you looked at something like Clojure's core.logic? https://github.com/clojure/core.logic

comment by frompdx · 2020-05-19 · in Ask HN: Production Prolog in 2020?

Probably doesn’t fit what you mean by mainstream, but even so: https://github.com/clojure/core.logic > A logic programming library for Clojure & ClojureScript. core.logic offers Prolog-like relational programming, constraint logic…

comment by FPGAhacker · 2020-05-10 · in Racket is 25

…it through Clojure's Core.Logic (a logic library inspired by both prolog and miniKanren) [1] 1: https://github.com/clojure/core.logic

comment by emmanueloga_ · 2020-04-06 · in Ask HN: What are you learning?

If you think Sudoku solvers are cool, check out (constraint) logic programming, e.g. https://github.com/clojure/core.logic/wiki/Examples#sudoku You can take that pretty far! I used it to solve Regex Crossword [0]:…

comment by lvh · 2020-02-22 · in SQL query to generate the Mandelbrot set as ASCII art

…Reasoned Schemer has long been available in Clojure as core.logic (with some minor differences). https://github.com/clojure/core.logic

comment by markc · 2019-07-21 · in Show HN: A Clojure implementation of logic programming language in SICP

…JVM, having industry applications leveraging logic engines is becoming beautifully feasible. [1] https://github.com/clojure/core.logic

comment by pryce · 2018-11-07 · in Who Killed Prolog? (2010)

…many minikanrens[5]. [1] https://picolisp.com/wiki/?home [2] http://shenlanguage.org/ [3] https://github.com/clojure/core.logic [4] https://en.wikipedia.org/wiki/POP-11 [5] http://minikanren.org/

comment by ghosthamlet · 2018-10-17 · in Lisprolog – Interpreter for a Simple Lisp, Written in Prolog

▲ 2

Clojure: core.logic

story by tosh · 2018-09-11 · 0 comments

Practical logic programming in Clojure : https://github.com/clojure/core.logic A modern logic programming language: https://github.com/mcsoto/cosmos

comment by ghosthamlet · 2018-05-22 · in The Power of Prolog

If clojure is your thing there is core-logic https://github.com/clojure/core.logic

comment by xntrk · 2017-12-05 · in Introduction to logic programming with Prolog

…https://en.wikipedia.org/wiki/Daniel_P._Friedman [2] http://webyrd.net/ [3] http://okmij.org/ftp/ [4] https://github.com/clojure/core.logic

comment by zaph0d · 2017-12-05 · in Barliman – real-time program synthesis to make the programmer's life easier

▲ 2

Extending core.logic (Datomic example)

story by espeed · 2016-12-14 · 0 comments

Quick refs to logic programming and pattern matching in Clojure. core.logic https://github.com/clojure/core.logic core.match https://github.com/clojure/core.match

comment by mhluongo · 2016-05-23 · in Clojure.spec – Rationale and Overview

…them. [5] [6] [1] http://clojure.org/reference/agents [2] http://clojure.github.io/core.logic/ [3] https://github.com/clojure/core.logic/wiki/A-Core.logic-Prim... [4] http://clojuredocs.org/clojure.core/keep-indexed [5]…

comment by munro · 2016-01-20 · in Clojure 1.8

…finite-domain constraints and functions. Check out the clojure.core.logic.fd namespace for more: https://github.com/clojure/core.logic/blob/master/src/main/c...

comment by jballanc · 2016-01-16 · in Ask HN: How to call functions and do basic math in Clojure and core.logic?

…, http://www.datastax.com/dev/blog/the-benefits-of-the-gremlin... ) 3. Clojure core.logic ( https://github.com/clojure/core.logic ) and core.match ( https://github.com/clojure/core.match ) 4. Yedalog: Exploring Knowledge at Scale (…

comment by espeed · 2015-12-27 · in Handbook of Constraint Programming (2006) [pdf]

…js environments) for clojure. https://github.com/clojure/core.async Logic programming for clojure. https://github.com/clojure/core.logic Declarative UI building, with dataflow semantics. http://reagent-project.github.io Additionally…

comment by j-pb · 2015-12-02 · in Metabase: Why we picked Clojure

…basic (am I forgetting any?)). A modern variant (of a logic oriented language) can be seen here: https://github.com/clojure/core.logic/wiki/A-Core.logic-Prim... It tends to suffer from management by scalable procedure disease. Its possible…

comment by VLM · 2015-05-04 · in Artificial-Intelligence Experts Are in High Demand

…logic programming, as apposed to functional programming, but maintains the syntax of a LISP. [1] https://github.com/clojure/core.logic/wiki/Examples

comment by jared314 · 2014-11-28 · in Future of Programming Languages

Just a nitpick, but core.logic is a version of Kanren[0]. [0] https://github.com/clojure/core.logic

comment by malisper · 2014-09-12 · in Rethinking Prolog [pdf]

…the JVM type system and performance, you can also write high performance DSLs using Clojure macros. https://github.com/clojure/core.logic allegedly is a project along these lines, but I haven't looked too much into it. It heavily uses…

comment by cynicalkane · 2014-05-03 · in Hello Haskell, Goodbye Lisp (2009)

▲ 1

A core.logic Primer

story by anuragramdasan · 2013-11-18 · 0 comments

▲ 3

Core.logic (Clojure Library)

story by EzGraphs · 2013-05-25 · 1 comment

…core.logic[1] library, which makes those Prolog gooodies accessible to Clojure programmers. -- [1] https://github.com/clojure/core.logic

comment by dhkl · 2013-05-21 · in Lisp Prolog and Evolution

…a simplified implementation of what core.logic covers ? I was looking through that earlier today. https://github.com/clojure/core.logic https://github.com/clojure/core.logic/wiki/A-Core.logic-Prim... its certainly not as easy to understand…

comment by crucialfelix · 2013-05-12 · in Equate - Clojure fact management library

If you go with Clojure, you could cover learning logic programming using the core.logic ( https://github.com/clojure/core.logic ) library instead of Prolog.

comment by cgag · 2013-01-21 · in Leiningen version 2.0.0 released

…recommend checking out the Clojure Toolbox[1] for a more thorough list of the main contenders. [0] https://github.com/clojure/core.logic/wiki/A-Core.logic-Prim... [1] http://www.clojure-toolbox.com

comment by jrheard · 2013-01-08 · in Getting Started With Clojure

▲ 2

A Core.logic Primer

story by ananthrk · 2012-11-16 · 0 comments

…the github repos, and it seems that the author just changed "everyo" to "everyg" very recently: https://github.com/clojure/core.logic/commit/f831accb0659d04...

comment by cjauvin · 2012-08-02 · in A sudoku solver in 33 lines of Clojure

…machines https://github.com/cgrand/enlive * Core Logic, a Prolog-like logic programming library https://github.com/clojure/core.logic * The ClojureScript compiler, a Clojure compiler that targets JavaScript…

comment by zaph0d · 2012-05-24 · in Ask HN: Clojure code worth reading?

▲ 8

A core.logic Primer: gentle introduction to logic programming in Clojure

story by matthavener · 2012-05-10 · 0 comments

There's even a parallel branch built on top of fork/join that needs more work: https://github.com/clojure/core.logic/tree/fork-join

comment by swannodette · 2012-05-08 · in Rich Hickey: Reducers - A Library And Model For Collection Processing

https://github.com/clojure/core.logic

comment by jamii · 2012-05-08 · in Rich Hickey: Reducers - A Library And Model For Collection Processing

I was excited to find out that the developer, Jason Jackson, had actually used core.logic ( https://github.com/clojure/core.logic ) to implement a type checker as well as used core.match ( https://github.com/clojure/core.match ) for…

comment by swannodette · 2012-02-27 · in LLVM Clojure Bindings

Excited that fogus included core.logic https://github.com/clojure/core.logic as one of his favorite code reads of 2011. Most of the credit of course goes to Dan Friedman, Will Byrd, Oleg Kiselyov (+ many other miniKanreners), Rich Hickey,…

comment by swannodette · 2011-12-31 · in The best things and stuff of 2011 by Fogus

https://github.com/clojure/core.logic

comment by jamii · 2011-11-17 · in Clojure/core — (second conj)

Here is one that has: https://github.com/clojure/core.logic

comment by abp · 2011-10-11 · in Peter Norvig on Solving Every Sudoku Puzzle

…used in these benchmarks are used in "real life" projects, for example this one that I work on: https://github.com/clojure/core.logic This is a Prolog-like engine that I benchmark against SWI-Prolog (written in C). It comes close on some…

comment by swannodette · 2011-08-26 · in Why Clojure doesn't need invokedynamic

I already wrote a Prolog-like engine and it has unification based pattern matching - https://github.com/clojure/core.logic Unification based pattern matching is fantastic in its generality - not so much performance.

comment by swannodette · 2011-08-09 · in Clojure Pattern Matching Lib: literal, seq, map and other patterns

…this tradition. I used that as my introduction into the beauty of Prolog and created core.logic - https://github.com/clojure/core.logic If you're interested in being able to mix functional, object-oriented, and logic programming techniques…

comment by swannodette · 2011-08-05 · in A Short Introduction to Prolog

…to write with the performance and the level of control over syntax in anything but a very good Lisp: http://github.com/clojure/core.logic , efficient embedded Prolog in 1K LOC http://github.com/swannodette/match , in progress…

comment by swannodette · 2011-08-03 · in What's Special About Lisp?

…However Ruby's features just doesn't cut the mustard when you want to build something like this, https://github.com/clojure/core.logic . I'm also working on implementing a fast state-of-the-art pattern matcher a la OCaml,…

comment by swannodette · 2011-06-16 · in The 2011 State of Clojure Survey is Open