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 termenContestant
: De deelnemerPotentialMatches
Een lijst van elementen uit Island
die kunnen unificeren met Contestant
in dezelfde volgorde als in de oorspronkelijke lijst
?- 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
.