HYPROLOG: A New Logic Programming Language with Assumptions and Abduction.

Henning Christiansen, Vernica Dahl

Browse the full ICLP paper archive.