/local/apps/sgipvm3/lib/pvmgetarch: Command not found.
ruby 1 % scm satisfy_test.sch
scm satisfy_test.sch

> (load "rule.sch")
(load "rule.sch")
#<unspecified>
> (load "rl.sch")
(load "rl.sch")
#<unspecified>
> (load "match.sch")
(load "match.sch")
#<unspecified>
> (load "update.sch")
(load "update.sch")
#<unspecified>
> (load "nl.sch")
(load "nl.sch")
#<unspecified>
> (load "env.sch")
(load "env.sch")
#<unspecified>
> (satisfy myp1 nlflist)
(satisfy myp1 nlflist)
(((?sy . 15) (?sx . 12) (?y . c) (?x . b)))
> myp1
myp1
((on ?x ?y) (size ?x ?sx) (size ?y ?sy) (! (< ?sx ?sy)) (! (= ?sx 12)))
> nlflist
nlflist
(((on a b) (on b c) (on c d)) ((size a 10) (size b 12) (size c 15)) ((age w 30) (age u 10)))
> (update rule-list nlflist)
(update rule-list nlflist)
Rule adds a new fact : Rule :(older-rule (if ((age ?x ?agex) (age ?y ?agey) (! (> ?agex ?agey))) then (older ?x ?y)))
New Fact :(older w u)
Rule adds a new fact : Rule :(myp1-rule (if ((on ?x ?y) (size ?x ?sx) (size ?y ?sy) (! (< ?sx ?sy)) (! (= ?sx 12))) then (myp1-result ?sx ?sy)))
New Fact :(myp1-result 12 15)
(((on a b) (on b c) (on c d)) ((size a 10) (size b 12) (size c 15)) ((age w 30) (age u 10)) ((older w u)) ((myp1-result 12 15)))
> (define *verbose* '#f)
(define *verbose* ' f)

ERROR: unbound variable:  f
; in expression: (... f)
; in top level environment.
> (define *verbose* '#f )
(define *verbose* ' f )

ERROR: unbound variable:  f
; in expression: (... f)
; in top level environment.
> *verbose*
*verbose*
#t
> (define *verbose* quote(#f))
(define *verbose* quote( f))

ERROR: unbound variable:  quotef
; in expression: (... quotef)
; in top level environment.
> 
WARNING: unexpected ")"



ERROR: read: end of file in 
> ruby 2 %