Surf these sites: DBLP: Logic Programming -- A Logic Programming bibliography Kiev: Java compiler with logic extensions -- Language which is a superset of Java with some logic programming extensions. LIFE -- Logic, Inheritance, Functions, and Equations Logic Programming -- Site advocating the use of Logic programming languages (such as Prolog). Logic Programming -- Virtual Library section Programming Systems Lab -- AI lab, University of Saarbruecken, Germany, home of Oz language. The Maude System -- Maude is a reflective language based on equational rewrite principles, useful for modeling and solving a wide range of computational problems. XE -- CLU with Logic programming extensions XSB -- XSB is a research-oriented Logic Programming system for Unix and Windows/DOS-based systems, representing a semantically enriched functional superset of Prolog and offering among other things evaluation through full SLG resolution.
Help build the largest human-edited
directory on the web.