shen-ruby 0.13.0 → 0.14.0
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/HISTORY.md +7 -0
- data/README.md +5 -5
- data/Rakefile +10 -3
- data/lib/shen_ruby/version.rb +1 -1
- data/shen-ruby.gemspec +2 -2
- data/shen/release/klambda/core.kl +63 -63
- data/shen/release/klambda/declarations.kl +7 -7
- data/shen/release/klambda/load.kl +15 -15
- data/shen/release/klambda/macros.kl +33 -33
- data/shen/release/klambda/prolog.kl +97 -97
- data/shen/release/klambda/reader.kl +83 -83
- data/shen/release/klambda/sequent.kl +55 -55
- data/shen/release/klambda/sys.kl +101 -101
- data/shen/release/klambda/t-star.kl +41 -41
- data/shen/release/klambda/toplevel.kl +21 -21
- data/shen/release/klambda/track.kl +25 -25
- data/shen/release/klambda/types.kl +4 -4
- data/shen/release/klambda/writer.kl +25 -25
- data/shen/release/klambda/yacc.kl +28 -28
- data/shen/release/license.pdf +0 -0
- data/shen/release/test_programs/bubble_version_2.shen +1 -1
- data/shen/release/test_programs/depth_.shen +1 -1
- data/shen/release/test_programs/interpreter.shen +1 -1
- data/shen/release/test_programs/metaprog.shen +1 -1
- data/shen/release/test_programs/semantic_net.shen +1 -1
- data/shen/release/test_programs/tests.shen +12 -12
- metadata +5 -5
data/shen/release/license.pdf
CHANGED
Binary file
|
@@ -6,7 +6,7 @@
|
|
6
6
|
{(list A) --> (A --> (list A)) --> (A --> boolean) --> (A --> boolean) --> (list A) --> (list A)}
|
7
7
|
[State | _] _ Goal? _ Path -> (reverse [State | Path]) where (Goal? State)
|
8
8
|
[State | _] _ _ Fail? _ -> [] where (Fail? State)
|
9
|
-
[State | _] Successors Goal? Fail? Path <- (fail-if empty?
|
9
|
+
[State | _] Successors Goal? Fail? Path <- (fail-if (function empty?)
|
10
10
|
(depth-help' (Successors State)
|
11
11
|
Successors Goal? Fail? [State | Path]))
|
12
12
|
[_ | States] Successors Goal? Fail? Path -> (depth-help' States Successors Goal? Fail? Path)
|
@@ -2,7 +2,7 @@
|
|
2
2
|
[is Object Concept] -> (if (belongs? Object Concept) yes no))
|
3
3
|
|
4
4
|
(define belongs?
|
5
|
-
Object Concept -> (element? Concept (fix spread-activation [Object])))
|
5
|
+
Object Concept -> (element? Concept (fix (function spread-activation) [Object])))
|
6
6
|
|
7
7
|
(define spread-activation
|
8
8
|
[] -> []
|
@@ -161,18 +161,18 @@
|
|
161
161
|
|
162
162
|
(report "yacc"
|
163
163
|
(load "yacc.shen") loaded
|
164
|
-
(compile <sent> [the cat likes the dog]) [the cat likes the dog]
|
165
|
-
(compile <sent> [the cat likes the canary] (/. E (fail))) (fail)
|
166
|
-
(compile <asbscs> [a a a b b c]) [a a a b b c]
|
167
|
-
(compile <find-digit> [a v f g 6 y u]) [6]
|
168
|
-
(compile <vp> [chases the cat]) [chases the cat]
|
169
|
-
(compile <des> [[d] [e e]]) [d e e]
|
170
|
-
(compile <sent'> [the cat likes the dog]) [is it true that your father likes the dog ?]
|
171
|
-
(compile <as> [a a a]) [a a a]
|
172
|
-
(compile <find-digit'> [a v f g 6 y u]) [6 y u]
|
173
|
-
(compile <asbs'cs> [a v f g 6 y u] (/. E (fail))) (fail)
|
174
|
-
(compile <find-digit''> [a v f g 6 y u]) 6
|
175
|
-
(compile <anbncn> [a a a b b b c c c]) [a a a b b b c c c] )
|
164
|
+
(compile (function <sent>) [the cat likes the dog]) [the cat likes the dog]
|
165
|
+
(compile (function <sent>) [the cat likes the canary] (/. E (fail))) (fail)
|
166
|
+
(compile (function <asbscs>) [a a a b b c]) [a a a b b c]
|
167
|
+
(compile (function <find-digit>) [a v f g 6 y u]) [6]
|
168
|
+
(compile (function <vp>) [chases the cat]) [chases the cat]
|
169
|
+
(compile (function <des>) [[d] [e e]]) [d e e]
|
170
|
+
(compile (function <sent'>) [the cat likes the dog]) [is it true that your father likes the dog ?]
|
171
|
+
(compile (function <as>) [a a a]) [a a a]
|
172
|
+
(compile (function <find-digit'>) [a v f g 6 y u]) [6 y u]
|
173
|
+
(compile (function <asbs'cs>) [a v f g 6 y u] (/. E (fail))) (fail)
|
174
|
+
(compile (function <find-digit''>) [a v f g 6 y u]) 6
|
175
|
+
(compile (function <anbncn>) [a a a b b b c c c]) [a a a b b b c c c] )
|
176
176
|
|
177
177
|
(preclude-all-but [])
|
178
178
|
(tc +)
|
metadata
CHANGED
@@ -1,7 +1,7 @@
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
2
2
|
name: shen-ruby
|
3
3
|
version: !ruby/object:Gem::Version
|
4
|
-
version: 0.
|
4
|
+
version: 0.14.0
|
5
5
|
platform: ruby
|
6
6
|
authors:
|
7
7
|
- Greg Spurrier
|
@@ -9,7 +9,7 @@ authors:
|
|
9
9
|
autorequire:
|
10
10
|
bindir: bin
|
11
11
|
cert_chain: []
|
12
|
-
date: 2015-02-
|
12
|
+
date: 2015-02-25 00:00:00.000000000 Z
|
13
13
|
dependencies:
|
14
14
|
- !ruby/object:Gem::Dependency
|
15
15
|
name: klam
|
@@ -17,14 +17,14 @@ dependencies:
|
|
17
17
|
requirements:
|
18
18
|
- - '='
|
19
19
|
- !ruby/object:Gem::Version
|
20
|
-
version: 0.0.
|
20
|
+
version: 0.0.7
|
21
21
|
type: :runtime
|
22
22
|
prerelease: false
|
23
23
|
version_requirements: !ruby/object:Gem::Requirement
|
24
24
|
requirements:
|
25
25
|
- - '='
|
26
26
|
- !ruby/object:Gem::Version
|
27
|
-
version: 0.0.
|
27
|
+
version: 0.0.7
|
28
28
|
- !ruby/object:Gem::Dependency
|
29
29
|
name: rake
|
30
30
|
requirement: !ruby/object:Gem::Requirement
|
@@ -66,7 +66,7 @@ dependencies:
|
|
66
66
|
- !ruby/object:Gem::Version
|
67
67
|
version: 3.1.0
|
68
68
|
description: ShenRuby is a port of the Shen programming language to Ruby. It currently
|
69
|
-
supports Shen version 17.
|
69
|
+
supports Shen version 17.2.
|
70
70
|
email:
|
71
71
|
- greg@sourcematters.org
|
72
72
|
executables:
|