This is the basis for the logic programming paradigm.
Ini merupakan dasar dari paradigma pemrograman logika.