Ciao-users April 2013

ciao-users@cliplab.org

9 participants
15 discussions

Run time loading
by mcculloch 12 Apr '13

12 Apr '13

How does a compiled program load predicate clauses from a file at run time? Everything I read suggests code in multiple files are all included in a compiled program. Thanks, John McCulloch -- View this message in context: http://old.nabble.com/Run-time-loading-tp35286551p35286551.html Sent from the Ciao Prolog - Users mailing list archive at Nabble.com.

1 0

ensure_loaded
by mcculloch 11 Apr '13

11 Apr '13

I want to have a compiled program load one file with multiple choices for a predicate, i.e. just data that is loaded at run time. I can't find an example of ensure_loaded that tells me how to declare that predicate in the program. Without anything, the compiler gives me "Predicate testdata undefined in source." What is the proper way to do this? Thanks, John -- View this message in context: http://old.nabble.com/ensure_loaded-tp35281532p35281532.html Sent from the Ciao Prolog - Users mailing list archive at Nabble.com.

1 0

Persistent Database
by mcculloch 05 Apr '13

05 Apr '13

I'm looking for a persistent database system for Ciao. DHT seems to be much more complex than what I need and using the internal database and assert is not quite enough. I'd like a system that at least can keep terms dynamically sorted. Any ideas? John -- View this message in context: http://old.nabble.com/Persistent-Database-tp34766812p34766812.html Sent from the Ciao Prolog - Users mailing list archive at Nabble.com.

1 3

LPDoc
by mcculloch 05 Apr '13

05 Apr '13

I saw some messages about LPDoc from earlier last year. I don't know if the same issues still exist. Here's the result of a fresh install of 1.15 and an attempt to start using LPDoc: john(a)laptop01:~/Downloads$ sudo dpkg -i ciaode_1.15-1712.ga8c821b_i386.deb Selecting previously unselected package ciaode. (Reading database ... 198574 files and directories currently installed.) Unpacking ciaode (from ciaode_1.15-1712.ga8c821b_i386.deb) ... Setting up ciaode (1.15-1712.ga8c821b) ... Ignoring install-info called from maintainer script The package ciaode should be rebuilt with new debhelper to get trigger support Ignoring install-info called from maintainer script The package ciaode should be rebuilt with new debhelper to get trigger support Processing triggers for man-db ... Processing triggers for install-info ... john(a)laptop01:~/Downloads$ cd .. john(a)laptop01:~$ cd ciao-mongodb john(a)laptop01:~/ciao-mongodb$ cd doc john(a)laptop01:~/ciao-mongodb/doc$ lpdoc lpsettings :: Starting processing of 'lpsettings'. {WARNING (make_rt): Target lpsettings does not exist} :: Finished processing of 'lpsettings'. john(a)laptop01:~/ciao-mongodb/doc$ lpdoc -d doc_structure=mongodb_doc dvi :: Starting manual generation in dvi (TeX device-indep) format. {ERROR: absolute_file_name/7, arg 1 - existence error: source_sink:library(prelude) does not exist} {ERROR (autodoc): formatting mongodb_doc could not be completed} {ERROR: docst_gdata_restore_/2 - no_rr_file_for(mongodb_doc)} {Program ended with failure} Any ideas? Thanks, John -- View this message in context: http://old.nabble.com/LPDoc-tp35257862p35257862.html Sent from the Ciao Prolog - Users mailing list archive at Nabble.com.

1 0

Re: [Ciao-users] [Ciao-mailman] Emacs for v. 1.15
by ciao＠clip.dia.fi.upm.es 02 Apr '13

02 Apr '13

> Does anyone know how to allow TABs before and in comments without > destroying the intended function of Ciao mode? If what you want is to insert a real tab you can do it by "quoting"it, i.e., by typing "C-qTAB". Hope this helps! -- ----------------------- The Ciao System Development Team -------------------- The CLIP Group | IMDEA Software Institute ciao(a)clip.dia.fi.upm.es | and Technical University of Madrid http://www.ciao-lang.org / http://www.cliplab.org -----------------------------------------------------------------------------

3 3

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

Ciao-users April 2013