PROLOG: A programming tool for logical domain modeling