linear_logic_programming