Welcome to SWI-Prolog (Multi-threaded, Version 5.6.20)
Copyright (c) 1990-2006 University of Amsterdam.
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
and you are welcome to redistribute it under certain conditions.
Please visit http://www.swi-prolog.org for details.

For help, use ?- help(Topic). or ?- apropos(Word).


Yes

Yes

Command? Echo turned on; prompt turned off

Command: pipes
x, length: 1000, diameter: 10

Command: cut(x, 10, p1)
10 cut from x to form p1

Command: cut(x, 20, p2)
20 cut from x to form p2

Command: cut(x, 30, a3)
30 cut from x to form a3

Command: cut(x, 40, p4)
40 cut from x to form p4

Command: cut(x, 50, p5)
50 cut from x to form p5

Command: cut(x, 60, a6)
60 cut from x to form a6

Command: cut(x, 70, p7)
70 cut from x to form p7

Command: cut(x, 80, p8)
80 cut from x to form p8

Command: cut(x, 90, a9)
90 cut from x to form a9

Command: pipes
a3, length: 30, diameter: 10
a6, length: 60, diameter: 10
a9, length: 90, diameter: 10
p1, length: 10, diameter: 10
p2, length: 20, diameter: 10
p4, length: 40, diameter: 10
p5, length: 50, diameter: 10
p7, length: 70, diameter: 10
p8, length: 80, diameter: 10
x, length: 550, diameter: 10

Command: trim(p1, 1)
1 trimmed from p1

Command: trim(p2, 1)
1 trimmed from p2

Command: trim(p4, 1)
1 trimmed from p4

Command: trim(p5, 1)
1 trimmed from p5

Command: trim(p7, 1)
1 trimmed from p7

Command: pipes
a3, length: 30, diameter: 10
a6, length: 60, diameter: 10
a9, length: 90, diameter: 10
p1, length: 9, diameter: 10
p2, length: 19, diameter: 10
p4, length: 39, diameter: 10
p5, length: 49, diameter: 10
p7, length: 69, diameter: 10
p8, length: 80, diameter: 10
x, length: 550, diameter: 10

Command: cut(x, 500, new)
500 cut from x to form new

Command: weld(new, a9)
a9 welded onto new

Command: weld(new, p8)
p8 welded onto new

Command: weld(new, p7)
p7 welded onto new

Command: pipes
a3, length: 30, diameter: 10
a6, length: 60, diameter: 10
new, length: 739, diameter: 10
p1, length: 9, diameter: 10
p2, length: 19, diameter: 10
p4, length: 39, diameter: 10
p5, length: 49, diameter: 10
x, length: 50, diameter: 10

Command: weld(new, a6)
a6 welded onto new

Command: weld(new, p5)
p5 welded onto new

Command: cut(x, 1, new1)
1 cut from x to form new1

Command: weld(new1, p4)
p4 welded onto new1

Command: weld(new1, a3)
a3 welded onto new1

Command: weld(new1, p2)
p2 welded onto new1

Command: pipes
new, length: 848, diameter: 10
new1, length: 89, diameter: 10
p1, length: 9, diameter: 10
x, length: 49, diameter: 10

Command: weld(x, new)
new welded onto x

Command: weld(x, new1)
new1 welded onto x

Command: weld(p1, x)
x welded onto p1

Command: pipes
p1, length: 995, diameter: 10

Command: done

Yes

% halt