How does the predicate 'append/3' work with an anonymous variable in Prolog?...

Different answers when using anonymous variable and "normal" variable in Prolog...

How are anonymous variables interpreted in Prolog?...

Prolog and List Unification...

Prolog: Matching One or More Anonymous Variables...

Prolog: Redundant results in clauses involving anonymous variables...

First order logic Prolog anonymous variables...

Comparing prolog anonymous variables...

Prolog anonymous variable...