Element 'logical programming'