判别两个广义表是否相等的递归算法

试编写判别两个广义表是否相等的递归算法。

要求实现以下函数：
Status Equal（GList A GList B）;
/* 判断广义表A和B是否相等是则返回TRUE否则返回FALSE */

广义表类型GList的定义：
typedef enum {ATOMLIST} ElemTag;
typedef struct GLNode{
     ElemTag tag;
     union {
           char atom;
           struct {
           GLNode *hp *tp;
       } ptr;
     }un;/*注意这里的un，它直接影响到p->i和p.i的用法*/
} *GList;

算法：广义表分为三种情况：只有空表、只有原子、子表的表头表尾相同
      1、当都是空表时相同