In the past, provisioning and managing the network have been done "imperatively" by scripts or protocols like OpenFlow. More recently, however, attempts for "declarative" networking has been emerging. In this session, we'll give a fundamental theory and use cases about declarative networking and introduce an example of implementing the declarative control plane in a virtual network.