Operatore-Prolog "_: _" - significato?

Question

Non capisco il seguente frammento Prolog? Che cosa significa "":_:""? Qual è la differenza tra ":=" e "="?

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). 

Grazie :)

Answer 1

questo sembra essere il codice XPCE. XPCE è la libreria GUI orientata agli oggetti nativa SWI-Prolog. Si può trovare il suo manuale in formato PDF all'indirizzo:

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

L'operatore :=/2 viene utilizzato per l'assegnazione (vedere il manuale per i dettagli), mentre il =/2 è il Prolog operatore di unificazione standard.

L'obiettivo Point = point:_:Hits è semplicemente l'unificazione della variabile Point con il termine composto point:_:Hits. Può essere chiaro se si scrive questo termine in forma canonica:

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

Si noti che questo termine utilizza l'operatore modulo :/2 standard di due volte.