Prolog syntax

Hello,

there are two elements of Prolog syntax that I do not understand:

a) =.. and []

What are "=.." and "[]" used for here ?

vp(vt,VS,Form) :-
mappend(V,SS,VS),
word(vt,V,S,Form),
member(Type,S),
Type =.. [TYPE],
Cat =.. [TYPE,SS],
Cat.

2) Var-Var

What does "G0-G" (and others) mean in this example ?

vp(Vform,G0-G) -->
v(obj_equi,Vform),
np(G0-G1),
vp(inf,G1-G).

Thanks for your help !


.