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:

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