Merk at unifikasjon av termer i første ordens logikk, unifiseres på lignende måte som for Prolog termer.