|
|
|
| MavicaNet - Classic |
Logic Based Languages | |
 | Catalóg / Teicneolaíocht / Teicneolaíocht Ríomhaire agus Teicneolaíocht an Eolais / Programming / Logic Based Languages |
 | LISP [125] |
| PROLOG [31] | ||
| |||||
| See also | |||||
| |||
| |||
|
DBLP Bibliography
Bibliography on logic programming is supplemented with a survey of conferences, journals, series of books and organizations. [eng] |
||
| |||
|
XSB
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] |
||
| |||
|
|
The Association of Logic Programming (ALP)
Promotes all activities concerning the theory and application of logic programming in computer science, related disciplines and industry. [eng] |
||
| |||
|
|
The Elf Meta-Language
A constraint logic programming language based on the LF Logical Framework. [eng] |
||
| |||
|
|
Maude
A high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications. [eng] |
||
| |||
| |||
Copyright © 2000 MavicaNET. All Rights Reserved. MavicaNET ® is a registered trademark of NNT Telecom. Designed by Digital Art Design, 2000. Hosted by NNT. |
|
