[1-15] World-Wide Web (WWW) Resources

The World Wide Web (WWW) is a hypermedia document that spans the
Internet.  It uses the http (HyperText Transfer Protocol) for the
light-weight exchange of files over the Internet.  NCSA Mosaic is a
World Wide Web browser developed at the National Center for
Supercomputing Applications (NCSA). 

Mosaic's popularity derives, in part, from its ability to communicate
using more traditional Internet protocols like FTP, Gopher, WAIS, and
NNTP, in addition to http. Mosaic can display text, hypertext links,
and inlined graphics directly. When Mosaic encounters a file type it
can't handle internally, such as Postscript documents, mpeg movies,
sound files, and JPEG images, it uses an external viewer (or player)
like Ghostscript to handle the file. Mosaic also includes facilities
for exploring the Internet. In other words, Mosaic is an multimedia
interface to the Internet.

The hypertext documents viewed with Mosaic are written in HTML
(HyperText Markup Language), which is a subset of SGML (Standard
Generalized Markup Language).  All that is needed is just a few more
improvements, such as the ability to format tables and mathematics,
and a WYSIWYG editor, for HTML to greatly facilitate electronic
journals and other publications.

NCSA Mosaic for the X Window System is available by anonymous ftp from  
   ftp.ncsa.uiuc.edu:/Mosaic/
as source code and binaries for Sun, SGI, IBM RS/6000, DEC Alpha OSF/1, DEC
Ultrix, and HP-UX. Questions about NCSA Mosaic should be directed to 
mosaic-x@ncsa.uiuc.edu (X-Windows version), mosaic-mac@ncsa.uiuc.edu
(Macintosh), and mosaic-win@ncsa.uiuc.edu (Microsoft Windows).

An automatically generated HTML version of the PRG is accessible by
WWW as part of the AI-related FAQs Mosaic page. The URL for this
resource is
   http://www.cs.cmu.edu/Web/Groups/AI/html/faqs/top.html
The direct URL for the PRG is
   http://www.cs.cmu.edu/Web/Groups/AI/html/faqs/lang/prolog/prg/top.html

The remainder of this section lists WWW resources of interest to Prolog
and logic programming researchers, students, and practitioners.

Constraints:

   The newsgroup comp.constraints has an ftp archive and WWW home page:
      ftp.cs.city.ac.uk:/pub/constraints
      http://web.cs.city.ac.uk/archive/constraints/constraints.html

Logic Programming:

   http://www.comlab.ox.ac.uk/archive/logic-prog.html
   Jonathan Bowen <Jonathan.Bowen@comlab.ox.ac.uk>

   http://www.watson.ibm.com/watson/logicpgm/
   [Logic Programming at IBM Research]
   Peter Reintjes <reintjes@watson.ibm.com>

   http://ps-www.dfki.uni-sb.de/~vanroy/impltalk.html
   ["Issues in Implementing Logic Languages" -- overview of
    state-of-art in Prolog implementation.] 
   Peter Van Roy <vanroy@dfki.uni-sb.de>

   http://www.informatik.uni-trier.de/~ley/db/index.html
   [Table of Contents from Conferences and Journals in the fields
    of database systems and logic programming.]
   Michael Ley <ley@nigra.Uni-Trier.DE>

   http://www.als.com/nalp.html
   Ken Bowen <ken@als.com>

Abstract Interpretation for LP Bibliography:

   http://dept-info.labri.u-bordeaux.fr/~corsini/Public/Reports/abint-biblio.ps
   200 entries so far. 
   Marc-Michel Corsini <corsini@labri.u-bordeaux.fr>