Tabled_logic_programming.elf