lojysamban 0.0.2 → 0.0.3

raw patch · 7 files changed

+85/−2 lines, 7 files

Files

• examples/cidja.jbo +13/−0
• examples/gugde.jbo +19/−0
• examples/mlatu.jbo +14/−0
• examples/patfu.jbo +11/−0
• examples/pendo.jbo +5/−0
• lojsamban2.hs +5/−1
• lojysamban.cabal +18/−1

@@ -0,0 +1,13 @@+.i la velvIt. cu cmima lo cirla+.i la rit. cu cmima lo titnanba+.i la spam. cu cmima lo rectu+.i lo kolbasa cu cmima lo rectu+.i la jolt. cu cmima lo sodva+.i la tuinkis. cu cmima lo sairfa'o++.i lo kamtitla cu vrusi lo sairfa'o+.i lo kamcpina cu vrusi lo rectu+.i lo kamcpina cu vrusi lo cirla+.i lo kamtitla cu vrusi lo sodva++.i da djavu'i de .ijanai tu'e da cmima di .i de vrusi di

@@ -0,0 +1,19 @@+.i lo kamxu'e cu drata lo kamri'o+.i lo kamxu'e cu drata lo kambla++.i lo kamri'o cu drata lo kamxu'e+.i lo kamri'o cu drata lo kambla++.i lo kambla cu drata lo kamxu'e+.i lo kambla cu drata lo kamri'o++.i alabam. bu toldu'o misisip. bu boi joji'as. bu boi tenesis. bu boi florid. bu+.ijanai tu'e+	misisip. bu drata tenesis. bu .i+	misisip. bu drata alabam. bu .i+	alabam. bu drata tenesis. bu .i+	alabam. bu drata misisip. bu .i+	alabam. bu drata joji'as. bu .i+	alabam. bu drata florid. bu .i+	joji'as. bu drata florid. bu .i+	joji'as. bu drata tenesis. bu

@@ -0,0 +1,14 @@+.i do du do+.i lo cinfo cu mlatu+.i lo tirxu cu mlatu++.i da drosi de di .ijanai tu'e+	da du lo cinfo .i+	de du lo tirxu .i+	di du lo cribe+tu'u++.i da relmlatu de .ijanai tu'e+	da mlatu .i+	de mlatu+tu'u

@@ -0,0 +1,11 @@+.i la zeb. cu patfu la jon.bois.sr.+.i la jon.bois.sr cu patfu la jon.bois.jr.++.i da dzena de .ijanai tu'e+	da patfu de+tu'u++.i da dzena de .ijanai tu'e+	da patfu di .i+	di dzena de+tu'u

@@ -0,0 +1,5 @@+.i do du do+.i la ualeis. cu nelci lo cirla+.i la gromit. cu nelci lo cirla+.i la uendolen. cu nelci lo lanme+.i da pendo de .ijanai tu'e da nadu de .i da nelci di .i de nelci di

@@ -15,6 +15,7 @@ import Control.Monad import Control.Arrow import Control.Applicative+import System.IO  main :: IO () main = do@@ -22,6 +23,8 @@ 	src <- readFile fn 	let	Right p = parse src 		rules = map readSentence $ getSentences p+	putStr ".i "+	hFlush stdout 	Left q <- (readSentenceFact . either (error "bad") id . parse) 		`fmap` getLine 	let	answer = ask [] [] q rules@@ -31,6 +34,7 @@ 			map ((\ret -> intersperse ".ije" ret) . map showPair . filter (not . isMA . fst) . regularization . onlyTopVars) answer 		answer2 = unwords $ intersperse ".ija" $ map unwords $ filter ((> 2) . length) $ 			map ((\ret -> "tu'e" : intersperse ".ije" ret ++ ["tu'u"]) . map showPair . filter (not . isMA . fst) . regularization . onlyTopVars) answer+	putStr ".i " 	putStr $ case answer of 		[] -> "nago'i\n" 		_ -> case intersperse ".a" $ catMaybes $ (flip map) (map maValue answer) $ (showAtom <$>) of@@ -105,7 +109,7 @@ 	down ns = 0 : ns  readSumti :: Scope -> Sumti -> Term Scope Atom-readSumti sc (P.LA (_, "la", _) _ _ ns _) = Con $ LA $ concat $ map snd3 ns+readSumti sc (P.LA (_, "la", _) _ _ ns _) = Con $ LA $ intercalate "." $ map snd3 ns readSumti sc (P.LALE (_, "lo", _) _ st _ _) = Con $ LO $ readSumtiTail st readSumti sc (P.KOhA (_, k, _) _) = Var sc $ KOhA k readSumti sc (P.LerfuString s _ _) = Var sc $ LerfuString $ concatMap snd3 s

@@ -2,7 +2,7 @@ cabal-version:		>= 1.6  name:			lojysamban-version:		0.0.2+version:		0.0.3 stability:		experimental author:			.iocikun.juj. <PAF01143@nifty.ne.jp> maintainer:		.iocikun.juj. <PAF01143@nifty.ne.jp>@@ -13,6 +13,23 @@ category:		Language synopsis:		Prolog with lojban description:		Prolog with lojban+    .+    > lojysamban example/pendo.jbo+    > .i ma pendo la .ualeis.+    > .i la gromit+    >+    > lojysamban example/gugde.jbo+    > .i alabam. bu toldu'o misisip. bu boi joji'as. bu boi tenesis. bu boi florid. bu+    > .i tu'e alabam bu du lo kambla .ije joji'as. bu du lo kamxu'e .ije misisip bu+    > du lo kamxu'e .ije tenesis bu du lo kamri'o .ije florid bu du lo kamri'o tu'u+    > .ija tu'e alabam bu du lo kamri'o .ife joji'as bu du lo kamxu'e ...+    >+    > lojysamban example/patfu.jbo+    > .i ma dzena la jon.bois.jr.+    > .i la jon.bois.sr .a la zeb+    .+extra-source-files:	examples/pendo.jbo, examples/gugde.jbo, examples/patfu.jbo+    examples/cidja.jbo, examples/mlatu.jbo  source-repository	head     type:		git