Prolog-Operator "_: _" - Bedeutung?

Question

Ich verstehe das folgende Prolog-Snippet nicht? Was bedeutet ":_:"? Was ist der Unterschied zwischen ":=" und "="?

game_to_problematic_points(Game,Pid,Hid) :- 
    Point := Game/point, 
    Pid := Point@id, 
    Point = point:_:Hits. 
    append(_, [Hit1,_|_], Hits), 
    hit_out(Hit1), 
    Hid := Hit1@id. 
hit_out(Hit) :- 
    X := Hit@x, 
    Y := Hit@y, 
    (X > 23.77/2 
    ; X < -23.77/2 
    ; Y > 10.97/2 
    ; Y < -10.97/2). 

Thanks :)

Answer 1

Dies scheint XPCE Code. XPCE ist die native objektorientierte SWI-Prolog-GUI-Bibliothek.

http://www.swi-prolog.org/download/xpce/doc/userguide/userguide.pdf

Der :=/2 Operator für die Zuordnung verwendet wird (siehe Handbuch), während die =/2 sind die Standard-Prolog Vereinigung Betreiber: Sie können ihr Handbuch im PDF-Format finden. Das Ziel Point = point:_:Hits ist einfach die Vereinheitlichung der Variablen Point mit dem zusammengesetzten Term point:_:Hits. Es dürfte klar sein, wenn Sie diesen Begriff in kanonischer Form schreiben:

?- write_canonical(point:_:Hits). 
:(point,:(_,_)) 
true. 

Beachten Sie, dass dieser Begriff den Standard :/2 Modul Operator zweimal verwendet.