The system is introduced in the following publication, which should be referenced in any publication referring to HYPROLOG.
H. Christiansen and V. Dahl, HYPROLOG: A New Logic Programming Language with Assumptions and Abduction, In: Proc. International Conference on Logic Programming, ICLP'05, M. Gabbrielli and G. Gupta (Eds.), pp. 159-173, 2005. Lecture Notes in Computer Science 3668.The implementation and semantics principles behind HYPROLOG are spelled out in the following paper.
See pdf.
H. Christiansen. Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules, Journal of Applied Logic, to appear 2008 or -09.You may find other publications on HYPROLOG and its applications via these authors' home pages.
Preliminary version available as pdf.
Implementation and website developed and maintained by
Henning ChristiansenSee conditions of use for the HYPROLOG system (left menu).
Research group PLIS: Programming, Logic and Intelligent Systems
Department of Communication, Business and Information Technologies
Roskilde University, Denmark
© Henning Christiansen 2005-2008 (website and source code)