Initial commit.

.gitignore

@@ -0,0 +1,3 @@
+.stack-work/
+hiProlog.cabal
+*~

ChangeLog.md

@@ -0,0 +1,3 @@
+# Changelog for hiProlog
+
+## Unreleased changes

LICENSE

@@ -0,0 +1,18 @@
+The MIT License
+
+Copyright (c) 2018 Łukasz Lachowski <[email protected]>
+
+Permission is hereby granted, free of charge, to any person obtaining a copy of this software and
+associated documentation files (the "Software"), to deal in the Software without restriction,
+including without limitation the rights to use, copy, modify, merge, publish, distribute,
+sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all copies or substantial
+portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT
+NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES
+OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
+CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

README.md

@@ -0,0 +1,18 @@
+# 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
+```console
+stack build
+```
+### Executing Tests
+```console
+stack test
+```
+### Main Executable
+```console
+stack exec hiProlog-exe
+```

Setup.hs

@@ -0,0 +1,2 @@
+import Distribution.Simple
+main = defaultMain

app/Main.hs

@@ -0,0 +1,7 @@
+module Main where
+
+import HiProlog.Interpreter
+
+main :: IO ()
+main = do
+  solution

package.yaml

@@ -0,0 +1,49 @@
+name:                hiProlog
+version:             0.1.0.0
+github:              "githubuser/hiProlog"
+license:             BSD3
+author:              "Author name here"
+maintainer:          "[email protected]"
+copyright:           "2018 Author name here"
+
+extra-source-files:
+- README.md
+- ChangeLog.md
+
+# Metadata used when publishing your package
+# synopsis:            Short description of your package
+# category:            Web
+
+# To avoid duplicated efforts in documentation and dealing with the
+# complications of embedding Haddock markup inside cabal files, it is
+# common to point users to the README.md file.
+description:         Please see the README on GitHub at <https://github.com/githubuser/hiProlog#readme>
+
+dependencies:
+- base >= 4.7 && < 5
+- mtl
+
+library:
+  source-dirs: src
+
+executables:
+  hiProlog-exe:
+    main:                Main.hs
+    source-dirs:         app
+    ghc-options:
+    - -threaded
+    - -rtsopts
+    - -with-rtsopts=-N
+    dependencies:
+    - hiProlog
+
+tests:
+  hiProlog-test:
+    main:                Spec.hs
+    source-dirs:         test
+    ghc-options:
+    - -threaded
+    - -rtsopts
+    - -with-rtsopts=-N
+    dependencies:
+    - hiProlog