Logic-based programming Languages

CBEL >> 48 Logic-based programming Languages Computer technology sites, last updated on 31 March 2008

 Pages A-D
 Pages E-H
 Pages I-O
 Pages P-S
 Pages T-Z









[Find on this page]

- Starlog
- The World Wide Web Virtual Library...
- KLIC Association
- PC AI - Logic Programming
- Special Interest Group on Logic Pr...
- What are Logic Programming and Prolog?
- ALP
- COMPULOG NET: Network of Excellenc...
- Xcerpt
- Journal of Logic Programming
- The Maude System
- TyRuBa
- Axiomatic Language
- Imperial College London: Logic and...
- SampleTalk Language and programmin...
- XSB
- Dyna
- DBLP: Logic Programming
- Logic-Based Systems Lab
- LPNMR FTP Archive
- XE
- ALP
(part 2)
- Conferences: Logic-Related


Constraint Logic
- Nicolog
- CLP(R) Compiler
- Elf Meta-Language
- A Comparative Study of Eight Const...
- CCL II: Construction of Computatio...
- OPBDP
- ResearchIndex: Hierarchical Constr...
- Why Cant Humans Talk to a Computer?
- DFKI: MAS Publications: Multi-Agen...
- Echidna
- Constraint Logic Programming: CLP
Constraint Logic (part 2)
- CLP(R): Using CLP(R)
- Clp(Q,R)
- JICSLP96 Workshop on Parallelism a...
- ECLiPSe: The ECRC Constraint Logic...
- Intelligent Systems Lab: ISL
- FormulaOne


Functional Logic
- ALF
- LPG
- HAL
- Curry
- Functional Logic Programming
- RELFUN
- BABEL
- Escher
Comments

Add comment



Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor


Modified by CBEL.com - © 2000-2005 CBEL Inc.