prolog 0.2.1.1 → 0.3

raw patch · 3 files changed

+2/−6 lines, 3 files

Files

prolog.cabal +1/−1
src/Interpreter.hs +0/−5
src/Syntax.hs +1/−0

prolog.cabal view

@@ -1,5 +1,5 @@ Name:                prolog-Version:             0.2.1.1+Version:             0.3 Synopsis:            A Prolog interpreter written in Haskell. Description:         A Prolog interpreter written in Haskell. Implements a subset of the Prolog language. License:             PublicDomain

src/Interpreter.hs view

@@ -44,9 +44,6 @@    , ClauseFn (Struct "@>="[var "T1", var "T2"]) (binaryPredicate (>=))    , ClauseFn (Struct "==" [var "T1", var "T2"]) (binaryPredicate (==))    , ClauseFn (Struct "sort" [var "Input", var "Output"]) (function sort_pl)-   , Clause (Struct "member" [var "X", Struct "." [var "X", Wildcard]]) []-   , Clause (Struct "member" [var "X", Struct "." [Wildcard, var "Xs"]])-                [Struct "member" [var "X", var "Xs"]]    , ClauseFn (Struct "=.." [var "Term", var "List"]) univ    , ClauseFn (Struct "atom" [var "T"]) atom    , ClauseFn (Struct "char_code" [var "Atom", var "Code"]) char_code@@ -58,8 +55,6 @@                , Struct "=.." [var "Goal", var "L1"]                , var "Goal"                ]-   , Clause (Struct "append" [Struct "[]" [], var "YS", var "YS"]) []-   , Clause (Struct "append" [Struct "." [var "X", var "XS"], var "YS", Struct "." [var "X", var "XSYS"]]) [Struct "append" [var "XS", var "YS", var "XSYS"]]    ]  where    binaryIntegerPredicate :: (Integer -> Integer -> Bool) -> ([Term] -> [Goal])

src/Syntax.hs view

@@ -147,6 +147,7 @@    , map infixL ["+", "-", "\\"]    , [ infixL "*"]    , [ infixL "mod" ]+   , [ infixL "div" ]    , [ prefix "-" ]    , [ prefix "$" ] -- used for quasi quotation    ]