Ciao

Results: 533



#Item
331Prolog / Programming language / RuleML / Ciao / Linux kernel / Computing / Software / Programming language theory

An Overview of M. Hermenegildo1,2 M. Carro1,2 P. L´ opez-Garc´ıa4,1 E. Mera3

Add to Reading List

Source URL: clip.dia.fi.upm.es

Language: English - Date: 2011-07-20 13:18:16
332Assertion / Debugging / Logic in computer science / Docstring / Documentation / Computer programming / Software engineering / Computing

The lpdoc Documentation Generator An Automatic Documentation Generator for (C)LP Systems REFERENCE MANUAL The Ciao Documentation Series http://www.ciaohome.org/ Generated/Printed on: 15 August 2011

Add to Reading List

Source URL: ciao-lang.org

Language: English - Date: 2011-08-16 03:35:23
333Filter / Assertion / Emacs / Prolog / D / Software bug / Software / Computing / Computer programming

The Ciao System A New Generation, Multi-Paradigm Programming Language and Environment (Including a State-of-the-Art ISO-Prolog) REFERENCE MANUAL The Ciao Documentation Series http://www.ciaohome.org/

Add to Reading List

Source URL: ciao-lang.org

Language: English - Date: 2011-08-16 03:35:22
334

Ciao, mi chiamo Mezzettino! Sono un boccale in maiolica. Oggi ti racconterò la mia storia, con quali materiali e in che modo sono stato realizzato e ti parlerò dei miei antenati.

Add to Reading List

Source URL: www.micfaenza.org

Language: Italian - Date: 2010-02-17 06:14:59
    335Filter / Assertion / Computer programming / Software engineering / Computing

    The Ciao Preprocessor A Program Analysis, Verification, Debugging, and Optimization Tool REFERENCE MANUAL The Ciao Documentation Series http://www.ciaohome.org/ Generated/Printed on: 15 August 2011

    Add to Reading List

    Source URL: ciao-lang.org

    Language: English - Date: 2011-08-16 03:35:23
    336Psychological resilience / Outcomes research / Health / Foster care / Caregiver / Child care / Child Trends / Patient safety / Family / Education / Medicine

    CIAO Care-system Impacts on Academic Outcomes Research Report

    Add to Reading List

    Source URL: www.wesley.org.au

    Language: English - Date: 2012-08-20 23:11:35
    337Debugging / Logic in computer science / Prolog / Emacs / Software / Computing / Assertion

    The Ciao Prolog System A Next Generation Multi-Paradigm Programming Environment REFERENCE MANUAL The Ciao System Documentation Series http://www.ciaohome.org/ Generated/Printed on: 26 April 2006

    Add to Reading List

    Source URL: ciao-lang.org

    Language: English - Date: 2006-04-26 14:16:16
    338Assertion / Debugging / Logic in computer science / Docstring / Documentation / Computer programming / Software engineering / Computing

    The lpdoc Documentation Generator An Automatic Documentation Generator for (C)LP Systems REFERENCE MANUAL The Ciao Documentation Series http://ciao-lang.org/ Generated/Printed on: 19 June 2013

    Add to Reading List

    Source URL: ciao-lang.org

    Language: English - Date: 2013-06-19 03:35:14
    339Programming paradigms / Prolog / Integrated development environments / ECLiPSe / Logic programming / Preprocessor / Emacs / Ciao / D / Software / Computing / Constraint programming

    Computational Logic: (Constraint) Logic Programming Theory, practice, and implementation The Ciao Programming Environment and Multiparadigm Programming

    Add to Reading List

    Source URL: clip.dia.fi.upm.es

    Language: English - Date: 2007-02-26 11:23:34
    340Constraint programming / Programming paradigms / Functional languages / Prolog / Logic programming / CLP / Constraint Handling Rules / Curry / Ciao / Software engineering / Computer programming / Computing

    TLP 12 (1–2): 219–252, [removed]C Cambridge University Press 2012  219

    Add to Reading List

    Source URL: clip.dia.fi.upm.es

    Language: English - Date: 2012-01-23 03:25:47
    UPDATE