shen-ruby 0.13.0 → 0.14.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- 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:
|