Sha256: 80ed749ba067a779805907446910e063630b35e18e242d029e0e5eb44d1c95fd
Contents?: true
Size: 1.94 KB
Versions: 13
Compression:
Stored size: 1.94 KB
Contents
(defcc <sent>
<np> <vp>;)
(defcc <det>
the; a;)
(defcc <np>
<det> <n>;
<name1>;)
(defcc <n>
cat; dog;)
(defcc <name1>
X := X where (element? X [(protect Bill) (protect Ben)]);)
(defcc <vp>
<vtrans> <np>;)
(defcc <vtrans>
likes; chases;)
(defcc <des>
[<ds>] [<es>] := (append <ds> <es>);)
(defcc <ds>
d <ds>;
d;)
(defcc <es>
e <es>;
e;)
(defcc <sent'>
<np> <vp> := (question <np> <vp>);)
(define question
NP VP -> (append [is it true that your father] VP [?]))
(defcc <as->bs>
a <a->bs> := [b | <a->bs>];
a := [b];)
(defcc <find-digit>
<digit> <morestuff> := <digit>;
<digit> := <digit>;
X <find-digit> := <find-digit>;)
(defcc <morestuff>
X <morestuff>;
X;)
(defcc <digit>
0; 1; 2; 3; 4; 5; 6; 7; 8; 9;)
(defcc <find-digit'>
<digit> <morestuff>;
<digit> := <digit>;
X <find-digit'> := <find-digit'>;)
(defcc <asbscs>
<as> <bs> <cs>;)
(defcc <as>
a <as>;
a;)
(defcc <bs>
b <bs>;
b;
<e>;)
(defcc <cs>
c <cs>;
c;)
(defcc <asbs'cs>
<as> <bs'> <cs>;)
(defcc <bs'>
b <bs'>;
b;
<e>;)
(defcc <find-digit''>
<digit''> <morestuff> := <digit''>;
<digit''> := <digit''>;
X <find-digit''> := <find-digit''>;)
(defcc <digit''>
X := X where (element? X [0 1 2 3 4 5 6 7 8 9]);)
(defcc <anbncn>
<as> <bs> <cs> := (appendall [<as> <bs> <cs>])
where (equal-length? [<as> <bs> <cs>]);)
(defcc <as>
a <as>;
a;)
(defcc <bs>
b <bs>;
b;)
(defcc <cs>
c <cs>;
c;)
(define equal-length?
[] -> true
[L] -> true
[L1 L2 | Ls] -> (and (= (length L1) (length L2)) (equal-length? [L2 | Ls])))
(define appendall
[] -> []
[L | Ls] -> (append L (appendall Ls)))
(defcc <a*s>
[a] := a;)
(defcc <b*>
[b] b;)
(defcc <c*>
[<c*>] := [<c*>];
c;)
(defcc <d*>
[<d*>] <d*> := [[<d*>] | <d*>];
d <d*> := [d | <d*>];
d := [d];)
Version data entries
13 entries across 13 versions & 1 rubygems