Useful links

Logic Programming ALP, The Association of Logic Programming
ISO Prolog Standard
Program Analysis The China Project
The Parma Polyhedra Library
Home Page Home Page for Patricia M. Hill
Family and Friends Mary Hill and her Botanical Art