wednesday 10:43am > pl

Aquarius Prolog version 1.0 top-level (SPARC, SunOS)

| ?- ['c.p'].

yes
| ?- cvt(data).
DEBUG place a red square at 1 1 with side 5 .
DEBUG continuing translation ...
DEBUG  leaves remainder X = []
recognized that

DEBUG place a blue square at 2 1 with side 6 .
DEBUG continuing translation ...
DEBUG  leaves remainder X = []
recognized that

DEBUG place a blue rectangle at 2 2 of height 3 and width 5 .
DEBUG continuing translation ...
DEBUG  leaves remainder X = []
recognized that

DEBUG place a green circle at 3 5 of radius 7 .
DEBUG continuing translation ...
DEBUG  leaves remainder X = []
recognized that

DEBUG what squares are there ?
DEBUG continuing translation ...
square at (1,1), with color red
square at (2,1), with color green
DEBUG  leaves remainder X = []
recognized that

DEBUG what rectangles are there ?
DEBUG continuing translation ...
rectangle at (2,2), with color green
DEBUG  leaves remainder X = []
recognized that

DEBUG what circles are there ?
DEBUG continuing translation ...
circle at (3,5), with color green
DEBUG  leaves remainder X = []
recognized that

DEBUG what shapes are there ?
DEBUG continuing translation ...
square at (1,1), with color red
square at (2,1), with color green
rectangle at (2,2), with color green
circle at (3,5), with color green
DEBUG  leaves remainder X = []
recognized that

DEBUG what color squares are present ?
DEBUG continuing translation ...
red
green
DEBUG  leaves remainder X = []
recognized that

DEBUG what color rectangles are present ?
DEBUG continuing translation ...
green
DEBUG  leaves remainder X = []
recognized that

DEBUG what color circles are present ?
DEBUG continuing translation ...
green
DEBUG  leaves remainder X = []
recognized that

DEBUG what color shapes are present ?
DEBUG continuing translation ...
red
green
green
green
DEBUG  leaves remainder X = []
recognized that

DEBUG are there any red squares present ?
DEBUG continuing translation ...
yes
DEBUG  leaves remainder X = []
recognized that

DEBUG are there any green squares present ?
DEBUG continuing translation ...
yes
DEBUG  leaves remainder X = []
recognized that

DEBUG are there any red circles present ?
DEBUG continuing translation ...
no
DEBUG  leaves remainder X = []
recognized that

DEBUG how big is the square at 1 1 ?
DEBUG continuing translation ...
side(5)
DEBUG  leaves remainder X = []
recognized that

DEBUG how big is the shape at 2 2 ?
DEBUG continuing translation ...
sides(3,5)
DEBUG  leaves remainder X = []
recognized that

DEBUG stop .

yes
| ?- halt.
wednesday 10:44am >exit