README.md

hiProlog

A toy implementation of a Prolog's interpreter. No cut operator, no negation, just Horn clauses.

Getting Started

Prerequisites

Tools required to build this project:

• stack http://haskellstack.org

Build Instructions

stack build

Executing Tests

stack test

Main Executable

stack exec hiProlog-exe