SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG
DONATE




YUM REPOSITORY

 
 

ciao rpm build for : Mandriva 2010. For other distributions click ciao.

Name : ciao
Version : 1.10p8 Vendor : Mandriva
Release : 3mdv2010.0 Date : 2009-09-10 19:19:48
Group : Development/Other Source RPM : ciao-1.10p8-3mdv2010.0.src.rpm
Size : 25.75 MB
Packager : Thierry Vignaud < tvignaud_mandriva_com>
Summary : Prolog development environment
Description :
Ciao is next generation multi-paradigm programming environment with a
unique set of features:

* Ciao offers a complete Prolog system, supporting ISO-Prolog, but its
novel modular design allows both restricting and extending the language.
As a result, it allows working with fully declarative subsets of Prolog
and also to extend these subsets (or ISO-Prolog) both syntactically and
semantically. Most importantly, these restrictions and extensions can
be activated separately on each program module so that several
extensions can coexist in the same application for different modules.

* Ciao also supports (through such extensions) programming with functions,
higher-order (with predicate abstractions), constraints, and objects,
as well as feature terms (records), persistence, several control rules
(breadth-first search, iterative deepening, ...), concurrency
(threads/engines), a good base for distributed execution (agents),
and parallel execution. Libraries also support WWW programming,
sockets, external interfaces (C, Java, TclTk, relational databases,
etc.), etc.

* Ciao offers support for programming in the large with a robust
module/object system, module-based separate/incremental compilation
(automatically --no need for makefiles), an assertion language for
declaring (optional) program properties (including types and modes,
but also determinacy, non-failure, cost, etc.), automatic static
inference and static/dynamic checking of such assertions, etc.

* Ciao also offers support for programming in the small producing small
executables (including only those builtins used by the program) and
support for writing scripts in Prolog.

* The Ciao programming environment includes a classical top-level and a
rich emacs interface with an embeddable source-level debugger and a
number of execution visualization tools.

* The Ciao compiler (which can be run outside the top level shell)
generates several forms of architecture-independent and stand-alone
executables, which run with speed, efficiency and executable size
which are very competitive with other commercial and academic
Prolog/CLP systems. Library modules can be compiled into compact
bytecode or C source files, and linked statically, dynamically, or
autoloaded.

* The novel modular design of Ciao enables, in addition to modular
program development, effective global program analysis and static
debugging and optimization via source to source program transformation.
These tasks are performed by the Ciao preprocessor (ciaopp,
distributed separately).

* The Ciao programming environment also includes lpdoc, an automatic
documentation generator for LP/CLP programs. It processes Prolog files
adorned with (Ciao) assertions and machine-readable comments and
generates manuals in many formats including postscript, pdf, texinfo,
info, HTML, man, etc. , as well as on-line help, ascii README files,
entries for indices of manuals (info, WWW, ...), and maintains WWW
distribution sites.

RPM found in directory: /mirror/carroll.cac.psu.edu/pub/linux/distributions/mandrakelinux/official/2010.1/i586/media/contrib/release

Content of RPM  Changelog  Provides Requires

Download
ftp.uni-bayreuth.de  ciao-1.10p8-3mdv2010.0.i586.rpm
ftp.gwdg.de  ciao-1.10p8-3mdv2010.0.i586.rpm
ftp.gwdg.de  ciao-1.10p8-3mdv2010.0.i586.rpm
bo.mirror.garr.it  ciao-1.10p8-3mdv2010.0.i586.rpm
bo.mirror.garr.it  ciao-1.10p8-3mdv2010.0.i586.rpm
ftp.pbone.net  ciao-1.10p8-3mdv2010.0.i586.rpm
ftp.pbone.net  ciao-1.10p8-3mdv2010.0.i586.rpm
ftp.icm.edu.pl  ciao-1.10p8-3mdv2010.0.i586.rpm
ftp.icm.edu.pl  ciao-1.10p8-3mdv2010.0.i586.rpm
ftp.icm.edu.pl  ciao-1.10p8-3mdv2010.0.i586.rpm
ftp.icm.edu.pl  ciao-1.10p8-3mdv2010.0.i586.rpm
ftp.isu.edu.tw  ciao-1.10p8-3mdv2010.0.i586.rpm
ftp.isu.edu.tw  ciao-1.10p8-3mdv2010.0.i586.rpm
     Search for other platforms
ciao-1.10p8-3mdv2010.0.sparc.rpm
ciao-1.10p8-3mdv2010.0.alpha.rpm
ciao-1.10p8-3mdv2010.0.ppc.rpm
ciao-1.10p8-3mdv2010.0.ia64.rpm
ciao-1.10p8-3mdv2010.0.s390.rpm

Provides :
random_LINUXi86.so
sockets_c_LINUXi86.so
ciao
ciao(x86-32)

Requires :
libpthread.so.0
libc.so.6(GLIBC_2.0)
libdl.so.2(GLIBC_2.1)
libdl.so.2
libdl.so.2(GLIBC_2.0)
bash
rtld(GNU_HASH)
libpthread.so.0(GLIBC_2.0)
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
libm.so.6(GLIBC_2.0)
libpthread.so.0(GLIBC_2.3.2)
libm.so.6
rpmlib(CompressedFileNames) <= 3.0.4-1
libc.so.6(GLIBC_2.4)
libc.so.6(GLIBC_2.1)
rpmlib(PayloadIsLzma) <= 4.4.6-1
libpthread.so.0(GLIBC_2.1)
libc.so.6


Content of RPM :
/etc/profile.d/ciao.csh
/etc/profile.d/ciao.sh
/usr/bin/ciao
/usr/bin/ciao-1.10
/usr/bin/ciao-shell
/usr/bin/ciao-shell-1.10
/usr/bin/ciao_get_arch
/usr/bin/ciao_get_arch-1.10
/usr/bin/ciaoc
/usr/bin/ciaoc-1.10
/usr/bin/ciaosh
/usr/bin/ciaosh-1.10
/usr/bin/cleandirs
/usr/bin/cleandirs-1.10
/usr/bin/collect_modules
/usr/bin/collect_modules-1.10
/usr/bin/compiler_output
/usr/bin/compiler_output-1.10
/usr/bin/fileinfo
/usr/bin/fileinfo-1.10
/usr/bin/fix_size
/usr/bin/fix_size-1.10
/usr/bin/get_deps
/usr/bin/get_deps-1.10
/usr/bin/lpmake
/usr/bin/lpmake-1.10
/usr/bin/pldiff
/usr/bin/pldiff-1.10
/usr/bin/prolog
/usr/bin/show_asr
There is 2261 files more in these RPM.