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