Catálogo Multilingüe de Búsqueda

MavicaNET - Catálogo Multilingüe de Búsqueda

 
MavicaNet Lite - Light version



Project of



with support
Soil Science Faculty MSU



Rambler's Top100
Rambler's Top100
Catálogo

Catálogo

Ayuda

Búsqueda Ayuda

Camino al raiz del catálogo

Técnica y tecnología Tecnologías de información y computación Programación  ...

Categoría corriente

Idiomas de programación lógicos

Logic programming languages.


Sitios

Sitios


Ayuda Categorías-hermanas...
 

LISP  [127]

Prólogo  [29]

Véase también

Cultura / Ciencia / Ciencias matemáticas / Lógica

Cultura / Idiomas / Agrupaciones no genéticas / Idiomas artificiales / Logical and Experimental

Técnica y tecnología / Tecnologías de información y computación / Programación / UML

Sitios

Sitios

Ayuda Filtros
Seleccionar todos los sitios

Idiomas de programación lógicos

Sitios en total: 5


Categorías

Categorías


AyudaClasificación

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

se selecciona por filtros: Organizaciones

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

se selecciona por filtros: Recursos de web, Publicaciones

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
Búsqueda
Entrada para redactores
Mensaje para el redactor
Foros
Opciones
Ayuda
Quienes somos