Herbrand Constraint Solving in HAL (1999)

by Bart Demoen , Maria García de la Banda , Warwick Harvey , Kim Marriott , Peter Stuckey
Citations:6 - 2 self

Active Bibliography

45 So many WAM variations, so little time. – Bart Demoen, Phuong-Lan Nguyen
50 1983--1993: The Wonder Years of Sequential Prolog Implementation – Peter Van Roy - 1993
Improving Compilation of Prolog to C Using Program Information? – J. Morales, M. Carro
200 The execution algorithm of Mercury, an efficient purely declarative logic programming language – Zoltan Somogyi, Fergus Henderson, Thomas Conway - 1996
Compiling the HAL variable to Mercury – Bart Demoen, María García de la Banda, Bart Demoen, Warwick Harvey, Kim Marriott, Kim Marriott, Kim Marriott, Peter Schachte, Peter Schachte, Peter Schachte, Peter Stuckey, Peter Stuckey, Peter Stuckey
2 Combining an Improvement to PARMA Trailing with Trailing Analysis – Tom Schrijvers, Bart Demoen - 2002
222 XSB as an Efficient Deductive Database Engine – Konstantinos Sagonas, Terrance Swift, David S. Warren - 1994
4 Precise and Expressive Mode Systems for Typed Logic Programming Languages – David Overton - 2003
2 Experiments in WAM emulators and term representations – Bart Demoen, et al.