Pasted

TEST 20
 Maude> in LIST-OBLIG1.maude
==========================================
fmod LIST-OBLIG1
 Maude> red last(nil) .
reduce in LIST-OBLIG1 : last(nil) .
rewrites: 1 in 0ms cpu (0ms real) (~ rewrites/second)
result Nat: 0
 Maude> red last(nil s(0)) .
reduce in LIST-OBLIG1 : last(nil s(0)) .
rewrites: 1 in 0ms cpu (0ms real) (~ rewrites/second)
result Nat: s(0)
  Maude> red last(nil s(s(s(0))) s(0) s(s(0))) .
reduce in LIST-OBLIG1 : last(nil s(s(s(0))) s(0) s(s(0))) .
rewrites: 3 in 0ms cpu (0ms real) (~ rewrites/second)
result Nat: s(s(0))
 ===========================================
 Maude> red empty?(nil) .
reduce in LIST-OBLIG1 : empty?(nil) .
rewrites: 1 in 0ms cpu (0ms real) (~ rewrites/second)
result Boolean: true
 Maude> red empty?(nil s(0)) .
reduce in LIST-OBLIG1 : empty?(nil s(0)) .
rewrites: 1 in 0ms cpu (0ms real) (~ rewrites/second)
result Boolean: false
 Maude> red empty?(nil s(s(s(0))) s(0) s(s(0))) .
reduce in LIST-OBLIG1 : empty?(nil s(s(s(0))) s(0) s(s(0))) .
rewrites: 1 in 0ms cpu (0ms real) (~ rewrites/second)
result Boolean: false
 ===========================================
 Maude> red rest(nil) .
reduce in LIST-OBLIG1 : rest(nil) .
rewrites: 1 in 0ms cpu (0ms real) (~ rewrites/second)
result List: nil
 Maude> red rest(nil s(0)) .
reduce in LIST-OBLIG1 : rest(nil s(0)) .
rewrites: 1 in 0ms cpu (0ms real) (~ rewrites/second)
result List: nil
 Maude> red rest(nil s(s(s(0))) s(0) s(s(0))) .
reduce in LIST-OBLIG1 : rest(nil s(s(s(0))) s(0) s(s(0))) .
rewrites: 3 in 0ms cpu (0ms real) (~ rewrites/second)
result List: nil s(0) s(s(0))
 ============================================
 Maude> red reverse(nil) .
reduce in LIST-OBLIG1 : reverse(nil) .
rewrites: 1 in 0ms cpu (0ms real) (~ rewrites/second)
result List: nil
 Maude> red reverse(nil s(0)) .
reduce in LIST-OBLIG1 : reverse(nil s(0)) .
rewrites: 4 in 0ms cpu (0ms real) (~ rewrites/second)
result List: nil s(0)
 Maude> red reverse(nil s(s(s(0))) s(0) s(s(0))) .
reduce in LIST-OBLIG1 : reverse(nil s(s(s(0))) s(0) s(s(0))) .
rewrites: 16 in 0ms cpu (0ms real) (~ rewrites/second)
result List: nil s(s(0)) s(0) s(s(s(0)))