Name:                NanoProlog
Version:             0.2.3.1
Synopsis:            Very small  interpreter for a Prolog-like language
Description:         This package was developed to demonstrate the ideas behind
                     the Prolog language. It contains a very small interpreter
                     (@Language.Prolog.Nanoprolog@) which can be run on its
                     own. It reads a file with definitions, and then prompts
                     for a goal. All possibe solutions are printed, preceded by
                     a tree showing which rules were applied in which order.
                     .
                     The file @royals.pro@ contains a description of part of the Dutch royal family, whereas the file 
                     @tc.pro@ shows unification at work in a very small type inferencer.
License:             BSD3
license-file:        LICENSE
Author:              Doaitse Swierstra, Jurriën Stutterheim
Maintainer:          Jurriën Stutterheim <j.stutterheim@uu.nl>
Stability:           Experimental
Category:            Language
Build-type:          Simple
Cabal-version:       >= 1.6
Extra-Source-Files:  README, royals.pro, tc.pro

Source-repository head
  Type:       git
  Location:   https://github.com/norm2782/NanoProlog.git

Executable nano-prolog
  Hs-source-dirs: src
  Main-is: Main.hs

  Build-depends:
    base >= 4 && < 5,
    uu-parsinglib >= 2.7.1

Library
  Build-Depends:    base >= 4.0 && < 5.0,
                    uu-parsinglib >= 2.7.1,
                    ListLike == 3.1.*,
                    containers == 0.4.*
  Hs-Source-Dirs:   src
  Exposed-modules:  Language.Prolog.NanoProlog.NanoProlog,
                    Language.Prolog.NanoProlog.Interpreter
  Extensions:       Rank2Types, FlexibleContexts, TypeSynonymInstances,
                    FlexibleInstances