HYPROLOG: A New Logic Programming Language with Assumptions and Abduction