In this chapter, we will explain the fundamental philosophy of definitive programming and the language EDEN.