Looks like another rewriting of S-expression based logical programming system into non S-expression one.