Je bent lid van een geheime overheidsorganisatie, die tot doel heeft om buitenaardsen die in het geheim op aarde leven in de gaten te houden. Jullie moeten ervoor zorgen dat niemand het bestaan van die buitenaardsen ontdekt.

Schrijf een predicaat mib(A, B, PreTruth, PostTruth) dat waar is als PostTruth het resultaat is van het vervangen van de term A in de term PreTruth door de term B.

?- mib(alien, vriend, knuffel(alien, kind), PostTruth).
PostTruth = knuffel(vriend, kind)

?- mib(alien, vriend, dagboek(vandaag, [spelen_met(alien), knuffel(ik, alien)]), PostTruth).
PostTruth = dagboek(vandaag, [spelen_met(vriend), knuffel(ik, vriend)])

Deze links kunnen handig zijn:

• functor/3¹
• arg/3²
• Verify Type of a Term³