Tümevarımlı_mantık_programlama loading ...