On Warren's Method for Functional Programming in Logic.

Mantis H. M. Cheng, Maarten H. van Emden, B. E. Richards

Browse the full ICLP paper archive.