unificatie

Betekenis unificatie

De betekenis van unificatie is: "substitueren van programmavariabelen tijdens executie door middel van een matchingsproces;het speciale geval van universele specialisatie waarbij twee gekwantificeerde uitspraken door middel van de juiste substituties gelijk worden gemaakt
".

Defenitie unificatie

De definitie van unificatie is: "substitueren van programmavariabelen tijdens executie door middel van een matchingsproces;het speciale geval van universele specialisatie waarbij twee gekwantificeerde uitspraken door middel van de juiste substituties gelijk worden gemaakt
".