Lists need not behomogeneous

?- A = "Hi". A=[72,105]

?- A = [1,"Hi",greg]. A=[1,[72,105],greg]

?- A = [1,g], B=[A,A]. A=[1,g] B=[[1,g],[1,g]]

?- A = [1,g], B=[A|A]. A=[1,g] B=[[1,g],1,g]

Previous slide

Next slide

Back to first slide

View graphic version