Stem hyprolog$ (all stems)
1 papers:
ICLP-2005-ChristiansenD #abduction #logic programming #named #programming language #prolog- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction (HC, VD), pp. 159–173.
ICLP-2005-ChristiansenD #abduction #logic programming #named #programming language #prolog