A-System: Problem Solving through Abduction