The essence of Prolog programming is writing crisp, compact rules. Prolog was originally designed for non-numeric information processing, but contemporary Prologs typically feature mathematical extensions. Also includes the Prolog Resource Guide and Prolog Implementations. These extensions are all achieved by using the intuitionistic theory of higher-order hereditary Harrop formulas. Also links to Prolog vendors, public-domain WAM emulator, miscellaneous code including a database of real Prolog applications, and the ISO Prolog Standard.
Some links are intermittent.
A number of people working in the field of Logic Programming at the IBM T. J. Watson Research Center. Areas included are natural language understanding, constraint logic programming, knowledge-based systems and some very good prolog articles. LookSmart - Prolog Programming Resources Find links to prolog resources and companies. Prolog Programming Language Learn about what the prolog programming language is. Also included are Prologs for the Macintosh, a Prolog resource guide, and SICStus Prolog environment, Usenet , and FAQ for Prolog.