(Eng: procedural semantics) Ondubbelzinnige semantische interpretatie van een in een logische vorm of taal, zoals Prolog, vervatte of voorkomende uitdrukking.(Eng: procedural semantics) Ondubbelzinnige semantische interpretatie van een in een logische vorm of taal, zoals Prolog, vervatte of voorkomende uitdrukking.