A prolog inspired graph-like data representation.