# Guesswork

Guesswork is a logic programming library for Elixir.
It is heavily inspired by Prolog, but attempts to use idiomatic Elixir when
expressing problems.

## Versions

This project is tested on the following elixir/OTP versions:
- erlang 26.2.5
- elixir 1.16.3

## Examples

All Examples are meant to be run with [LiveBook](https://livebook.dev/) and can
be found in the `examples/` directory.

## Benchmarks

All benchmarks are built with [Benchee](https://hexdocs.pm/benchee/readme.html),
can be found in the `benchmarks/` directory, and run with `make run_benchmarks`
(this can take a while, other make targets exist for individual benchmarks).
The results can be found in the `benchmark_results/` directory.

## Future Work

Development work is focused on two things, making the system more ergonomic,
performant, and working through logic programming puzzles to figure out where the
library is deficient.
This list should not be considered a road map to 1.0.

- 8/N Queens Problem
- ~~Scheduling Problems~~
- Sigil for building statements
- ~~Adding benchmarks~~