1. Chu. B.-T. ABLOG-IC: A programming language supporting abductive problem-solving. TR-1526. Dept. of Computer Science. Univ. of Mar&nd. College Park. luly 1985: Chu. B.-T. ABLOG-IC: A programming language supporting abductive problem-solving. TR-1526. Dept. of Computer Science. Univ. of Mar&nd. College Park. luly 1985: