Script started on Mon Mar 30 20:21:47 1998
xavier[11]% pprolog Hmwk8.pp Hmwk8.Given.pp

Welcome to picoProlog
Reading Hmwk8.pp
Reading Hmwk8.Given.pp

# :- sum_of_four_squares(159, W, X, Y, Z).

W = 11
X = 6
Y = 1
Z = 1 ? .

yes

# :- pythagorean_triples(X, Y, Z).

X = 3
Y = 4
Z = 5 ? 

X = 6
Y = 8
Z = 10 ? 

X = 5
Y = 12
Z = 13 ? 

X = 9
Y = 12
Z = 15 ? 

X = 8
Y = 15
Z = 17 ? 

X = 12
Y = 16
Z = 20 ? 

X = 7
Y = 24
Z = 25 ? 

X = 15
Y = 20
Z = 25 ? 

X = 10
Y = 24
Z = 26 ? .

yes

# :- list_of_k_integers(5, X).

X = 0:0:0:0:0:nil ? 

X = 1:0:0:0:0:nil ? 

X = 0:1:0:0:0:nil ? 

X = 0:0:1:0:0:nil ? 

X = 0:0:0:1:0:nil ? 

X = 0:0:0:0:1:nil ? 

X = 2:0:0:0:0:nil ? 

X = 1:1:0:0:0:nil ? 

X = 1:0:1:0:0:nil ? 

X = 1:0:0:1:0:nil ? 

X = 1:0:0:0:1:nil ? 

X = 0:2:0:0:0:nil ? 

X = 0:1:1:0:0:nil ? 

X = 0:1:0:1:0:nil ? 

X = 0:1:0:0:1:nil ? 

X = 0:0:2:0:0:nil ? 

X = 0:0:1:1:0:nil ? 

X = 0:0:1:0:1:nil ? 

X = 0:0:0:2:0:nil ? 

X = 0:0:0:1:1:nil ? 

X = 0:0:0:0:2:nil ? 

X = 3:0:0:0:0:nil ? .

yes

# :- ^D

exit

script done on Mon Mar 30 20:32:15 1998