Catalogue de recherche multilingue

MavicaNET - Catalogue de recherche multilingue

 
MavicaNet Lite - Light version



Project of



with support
Soil Science Faculty MSU



Rambler's Top100
Rambler's Top100
Catalogue

Catalogue

Aide

Recherche Aide

La voie vers la racine du catalogue

Technique et technologies Technologies informatiques et d'information Programmation  ...

Catégorie courante

Logic Based Languages

Logic programming languages.


Sites

Sites


Aide Catégories
 

LISP  [127]

PROLOG  [31]

Voir aussi

Culture / Sciences / Sciences des mathématiques / Logique

Culture / Langages / Groupes non-génétiques / Langues artificielles / Logiques et expérimentées

Technique et technologies / Technologies informatiques et d'information / Programmation / UML

Sites

Sites

Aide Filtres
Marquer tous les sites

Logic Based Languages

Sites au total: 5


Catégories

Catégories


AideTriage

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

shown in filters: Organisations

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: Ressources du Web, Publications

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 ]


Software powered by Cache
Recherche
Login pour les rédacteurs
Message pour le rédacteur
Forums
Options
Aide
A propos de nous