Useful Links

[Last updated 2004/06/20.]

SIGLaC Special Interest Group in Logic and Computation at Leeds
Logic Programming ALP, The Association of Logic Programming
ISO Prolog Standard

Program Analysis The China Project
The Parma Polyhedra Library
Mary Hill and her Botanical Art