4 lines
139 B
Text
4 lines
139 B
Text
|
: (? (insert 2 E @A) (insert 1 @A @B) (insert 3 @B @C))
|
||
|
|
@A=(T B E 2 E) @B=(T B (T R E 1 E) 2 E) @C=(T B (T R E 1 E) 2 (T R E 3 E))
|
||
|
|
-> NIL
|