下列四个命题中错误的是（　　）

A．两条对角线互相垂直且相等的四边形是正方形

B．菱形的一条对角线平分一组对角

C．顺次连接四边形的各边中点所得的四边形是平行四边形

D．等腰梯形的两条对角线相等

下列语言中，属于人工智能语言的有（）。

A.BASIC

B.LISP

C.FORTRAN

D.C

E.PROLOG

F.FOXPRO