Links

General Resources

Dr. Dale Miller's lambda Prolog documentation page, with many good links.
lambda Prolog code examples
lambda Prolog mailing list. Send mail to lprolog-request@cs.umn.edu to be added

Implementations

Teyjus, designed by Dr. Gopalan Nadathur and others
Terzo, designed by Philip Wickline