Title: Logic programming based on a natural deduction system