packages feed

NanoProlog-0.1.3: NanoProlog.cabal

Name:                NanoProlog
Version:             0.1.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.
License:             BSD3
license-file:        LICENSE
Author:              Doaitse Swierstra, Jurrien Stutterheim
Maintainer:          Jurrien Stutterheim
Stability:           Experimental
Category:            Language
Build-type:          Simple
Cabal-version:       >= 1.8

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

Executable nano-prolog
  Hs-source-dirs: src/Language/Prolog/NanoProlog
  Main-is: NanoProlog.hs

  Build-depends:
    base >= 4 && < 5,
    NanoProlog >= 0.1.3,
    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.Lib