Skip to content
<awesome-gh-repos>
vic

QuinnWilton/gleam_logic

Logic programming with µKanren
Source code at GitHub https://github.com/QuinnWilton/gleam_logic
QuinnWilton/gleam_logic.json
{
  "createdAt": "2020-11-29T08:05:28Z",
  "defaultBranch": "main",
  "description": "Logic programming with µKanren",
  "fullName": "QuinnWilton/gleam_logic",
  "homepage": "",
  "language": "Erlang",
  "name": "gleam_logic",
  "pushedAt": "2020-11-29T10:20:31Z",
  "stargazersCount": 11,
  "topics": [],
  "updatedAt": "2025-01-27T10:47:37Z",
  "url": "https://github.com/QuinnWilton/gleam_logic"
}

gleam_logic

Section titled “gleam_logic”

A Gleam program

Quick start

Section titled “Quick start”
Terminal window
# Build the project
rebar3 compile


# Run the eunit tests
rebar3 eunit


# Run the Erlang REPL
rebar3 shell

Installation

Section titled “Installation”

If available in Hex this package can be installed by adding gleam_logic to your rebar.config dependencies:

{deps, [
    gleam_logic
]}.