NanoProlog.cabal

Name:                NanoProlog
Version:             0.3
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  && < 2.8

  GHC-Options:      -Wall -fwarn-tabs -funbox-strict-fields
                    -fno-warn-unused-do-bind

Library
  Build-Depends:    base           >= 4.0    && < 5.0,
                    uu-parsinglib  >= 2.7.1  && < 2.8,
                    ListLike       == 3.1.*,
                    containers     == 0.4.*
  Hs-Source-Dirs:   src
  Exposed-modules:  Language.Prolog.NanoProlog.NanoProlog,
                    Language.Prolog.NanoProlog.Parser,
                    Language.Prolog.NanoProlog.Interpreter
  Extensions:       Rank2Types, FlexibleContexts, TypeSynonymInstances,
                    FlexibleInstances
  GHC-Options:      -Wall -fwarn-tabs -funbox-strict-fields
                    -fno-warn-unused-do-bind