The Logic Programming Section of the Department of Computing at Imperial College conducts research into logic programming and theory on the level of knowledge representation, metalevel, legal and temporal reasoning, and programming language development. Their Web site provides general descriptions of each of these research areas and background about the professors and staff, as well as a few online staff papers. Users will also find online manuals and FAQ's about Artificial Intelligence and programming languages as well as some software available for downloading. Users may also access the public ftp site and directories of the logic programming group for section papers and other archived material.