% elp
Standard ML of New Jersey, Version 0.93, February 15, 1993
Elp, Version 0.1x, Built: Fri Jan  7 12:41:04 EST 1994
?- load "peano".
[reading file ./peano.mod]
nat : type.
z : nat.
s : nat -> nat.
numb : nat -> o.
plus : nat -> nat -> nat -> o.
mult : nat -> nat -> nat -> o.
fib : nat -> nat -> o.
sqfib : nat -> nat -> o.
[closed file ./peano.mod]
solved

yes
?- use "peano".
?- mult (s (s z)) (s (s (s z))) N.

N = s (s (s (s (s (s z))))).
;
no more solutions
?- mult (s (s z)) N (s (s (s (s (s (s z)))))).

N = s (s (s z)).
;

interrupt
?- plus M (s z) (s (s z)).

M = s z.
;
no more solutions
?- plus M (s z) z.
no

?- fib (s (s (s (s z)))) N.

N = s (s (s z)).

yes
?- sqfib N M.

M = z,
N = z.
;

M = s z,
N = s z.
;

M = s (s (s (s (s (s (s (s (s (s (s (s (s (s (s (s
(s (s (s (s (s (s (s (s (s (s (s (s (s (s (s (s (s
(s (s (s (s (s (s (s (s (s (s (s (s (s (s (s (s (s
(s (s (s (s (s (s (s (s (s (s (s (s (s (s (s (s (s
(s (s (s (s (s (s (s (s (s (s (s (s (s (s (s (s (s
(s (s (s (s (s (s (s (s (s (s (s (s (s (s (s (s (s
(s (s (s (s (s (s (s (s (s (s (s (s (s (s (s (s (s
(s (s (s (s (s (s (s (s (s (s (s (s (s (s (s (s (s
(s (s (s (s (s (s (s (s (s z))))))))))))))))))))))
))))))))))))))))))))))))))))))))))))))))))))))))))
))))))))))))))))))))))))))))))))))))))))))))))))))
))))))))))))))))))))),
N = s (s (s (s (s (s (s (s (s (s (s (s z))))))))))).

yes
?-