Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
52 lines (45 sloc) 2.11 KB
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