Prologic Island is een spel programma waar Prolog termen die nog niet geünificeerd zijn zoeken naar een andere term om mee te unificeren. Om het zoeken wat te vergemakkelijken is er een lijst van potentiële partners die de deelnemer wel willen verleiden samengebracht om een eiland.

Het predicaat temptation(Island, Contestant, PotentialMatches) heeft drie argumenten:

• Island: een lijst van vrijgezellen prolog termen
• Contestant: De deelnemer
• PotentialMatches Een lijst van elementen uit Island die kunnen unificeren met Contestant in dezelfde volgorde als in de oorspronkelijke lijst
  • De unificatie mag nog niet gebeurt zijn

                
            ?- temptation(
|     [
|         complex(Something1, panda, wwf),
|         simple(Something2, cuts, pandas),
|         simple(Something3, cuts, Something3),
|         complex(simple, easy)
|     ],
|     simple(determinism, cuts, Other),
|     R).
R = [simple(Something2, cuts, pandas), simple(Something3, cuts, Something3)].

Gebruik geen speciale unificatie predicaten zoals unifiable/3.