Records are Labelled Feature Trees

R == anAtom(anotherAtom: Y

aThirdAtom: Z)

R ==

anAtom

anotherAtom

aThirdAtom

Y

Z

Records for Logic Programming [Smolka, Treinen 94]

Previous slide

Next slide

Back to first slide

View graphic version