H ? « ‹ ← → › »

Language peer sets for CIAO:
Spain↑
Spain/1994↑
Designed 1994 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑
Genus Horn clause ↑
Experimental and other ↑
Horn clause↑
Context-based ↑
Data representation ↑
Horn clause/1994↑
Context-based /1994↑
Data representation/1994↑
Horn clause/Spain↑
Context-based /Spain↑
Data representation/Spain↑
Experimental and other ↑
Experimental and other/1994↑
Experimental and other/es ↑

CIAO(ID:5477/cia002)

Distributed And/Or parallel prolog 

alternate simple view
Country: Spain
Designed 1994
Genus: Horn clause
Sammet category: Experimental and other

for Concurrent, Constraint, Independence-based And/Or parallel Prolog.

simple (web-)distributed LP/CLP language

CLIP Group, School of Computer Science, Technical University of Madrid (UPM)


Related languages
&ACE → CIAO   Evolution of
Muse → CIAO   Incorporated some features of
CIAO → O'Ciao   Extension of
References:
  • Hermenegildo, M. (1994) Hermenegildo, M. The CLIP Group. Some Methodological Issues in the Design of CIAO - A Generic, Parallel, Concurrent Constraint System (also available in ps). Principles and Practice of Constraint Programming, LNCS, Num. 874, pages 123-133, Springer-Verlag, May 1994.
  • (1994) PARallel FORmal Computing Environment (ESPRIT Basic Research) EATCS 1994 Report Abstract Extract: Parallel Logic Programming Platforms
  • Hermenegildo, M. (1996) Hermenegildo, M. ; F. Bueno, D. Cabeza, M. Carro, M. García de la Banda, P. López-García, G. Puebla. The CIAO Multi-Dialect Compiler and System: A Demo and Status Report. Proceedings of the JICSLP'96 Workshop on Parallelism and Implementation Technology, 12 pages, Computer Science Department, Technical University of Madrid, September 1996.
  • Hermenegildo, Manuel (1996) Hermenegildo, Manuel "Internet and WWW Programming using Computational Logic Systems" Workshop on Logic Programming and the Internet December 19-20, 1996 Imperial College, London, U.K.
  • (1997) "The Ciao Prolog System: A Next Generation Logic Programming Environment - REFERENCE MANUAL" Technical Report CLIP 3/97.1 1997 Online copy Abstract Extract: Description
  • Cabeza, D.; M. (1999) Cabeza, D.; M. Hermenegildo. The Ciao Modular Compiler and Its Generic Program Processing Library. ICLP'99 WS on Parallelism and Implementation of (C)LP Systems, pages 147-164, N.M. State U., December 1999.
  • Hermenegildo, M. (1999) Hermenegildo, M. ; G. Puebla, F. Bueno, P. López-García. Program Development Using Abstract Interpretation (and The Ciao System Preprocessor). 10th International Static Analysis Symposium (SAS'03), LNCS, 27 pages, Springer-Verlag, June 2003.
  • M. Hermenegildo, F. Bueno, G. Puebla, P. López-Gar (1999) M. Hermenegildo, F. Bueno, G. Puebla, P. López-García. "Program Analysis, Debugging and Optimization Using the Ciao System Preprocessor". 1999 International Conference on Logic Programming, pages 52-66, MIT Press, November 1999. pdf
  • Puebla, G. (1999) Puebla, G. ; M. Hermenegildo. Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs. ICLP'99 Workshop on Optimization and Implementation of Declarative Languages, pages 45-61, U. of Southampton, U.K, November 1999.
  • Hermenegildo, M. (2003) Hermenegildo, M. ; G. Puebla, F. Bueno, P. López-García. Program Development Using Abstract Interpretation (and The Ciao System Preprocessor). 10th International Static Analysis Symposium (SAS'03), LNCS, 27 pages, Springer-Verlag, June 2003. pdf
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder