Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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

Last synced: 3 months ago
JSON representation

Host: GitHub
URL: https://github.com/clojure/clr.core.logic
Owner: clojure
Created: 2022-12-21T17:00:54.000Z (about 2 years ago)
Default Branch: main
Last Pushed: 2024-07-15T18:07:42.000Z (6 months ago)
Last Synced: 2024-09-29T17:21:23.313Z (3 months ago)
Language: Clojure
Size: 67.4 KB
Stars: 2
Watchers: 24
Forks: 1
Open Issues: 0
Metadata Files:
- Readme: README.md

Awesome Lists containing this project

README

# clr.core.logic

A port of [clojure/core.logic](https://github.com/clojure/core.logic) library to ClojureCLR.

> A logic programming library for Clojure & ClojureScript. core.logic offers Prolog-like relational programming, constraint logic programming, and nominal logic programming for Clojure. At its heart is an original implementation of miniKanren as described in William Byrd's dissertation Relational Programming in miniKanren: Techniques, Applications, and Implementations as well as the extensions described in cKanren and αKanren. It is designed to be easily extended to forms of logic programming beyond the ones provided.

## Usage

See the website listed above.

## Releases

Latest stable release: 1.1.0

[clj](https://clojure.org/guides/getting_started) dependency information:
```clojure
io.github.clojure/clr.core.logic {:git/tag "v1.1.0" :git/sha "46b6ed4"}
```

Nuget reference:

```
PM> Install-Package clojure.core.logic -Version 1.1.0
```

Leiningen/Clojars reference:

```
[org.clojure.clr/core.logic "1.1.0"]
```

## License

Distributed under the Eclipse Public License, the same as Clojure.

Original ClojureJVM code says: