Programming in Delta Prolog