Andorra-Prolog

"Andorra-Prolog: An Integration of Prolog and Committed Choice Languages", S. Haridi et al, International Conference on Fifth Generation Computer Systems 1988, ICOT 1988.