Siti

The Association of Logic Programming (ALP) - English
URL: http://www.cwi.nl/projects/alp/

shown in filters: Organizzazioni

Promotes all activities concerning the theory and application of logic programming in computer science, related disciplines and industry.

[ eng ]

DBLP Bibliography - English
URL: http://www.informatik.uni-trier.de/~ley/db/conf/indexl.html

shown in filters: Ricerca in Internet, Pubblicazioni

Bibliography on logic programming is supplemented with a survey of conferences, journals, series of books and organizations.

[ eng ]

The Elf Meta-Language - English
URL: http://www.cs.cmu.edu/~fp/elf.html

A constraint logic programming language based on the LF Logical Framework.

[ eng ]

XSB - English
URL: http://xsb.sourceforge.net/

A Logic Programming and Deductive Database system for Unix and Windows. It is being developed at The Computer Science Department, SUNY Stony Brook, in collaboration with Katholieke Universiteit Leuven, Universidade Nova de Lisboa, and Uppsala Universitet.

[ eng ]

Maude - English
URL: http://maude.csl.sri.com/

A high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications.

[ eng ]