This web page is devoted to the development of the use of logic programming and Prolog world-wide.
Applications |
- |
descriptions of successful Prolog or CLP-based applications world-wide |
Projects |
- |
descriptions of current LP-related projects, including both industrial and academic work. |
Resources |
- |
lists useful resources, include Prolog and CLP vendors, associations, FAQs, web respositories, ... |
People |
- |
interested people, usually with pointers to more extensive descriptions. |
Papers |
- |
access to papers on the net relating to logic programming and constraint logic programming. |
ISO Prolog Standard |
- |
information on, and access to, the International Standards Organization Prolog standard. |