Ciao-users

ciao-users@cliplab.org

948 discussions

Ciao Website
by John McCulloch 24 Apr '13

24 Apr '13

I can't get ciao-lang.org to respond anymore. Am I the only one? If not, is it coming back? Thanks, John -- View this message in context: http://old.nabble.com/Ciao-Website-tp35322879p35322879.html Sent from the Ciao Prolog - Users mailing list archive at Nabble.com.

3 4

"Minimalistic" HTTP Server
by Christian Giménez 23 Apr '13

23 Apr '13

Hi to All! I want to comment that I created a minimalistic HTTP server some time ago. This server is a simple one, so don't use it for production or big softwares, it may lack of security and it may be a bit slow for such a thing. It's entirely written in Ciao Prolog, and works in my Ciao Prolog 1.14.2 at least for now. If you have problems in your version, please tell me. When I was creating this program, I had to face two problems: there was no string manipulation library, neither any HTTP library. So I had to create both: - pc_text_processing.pl :: Is a simple text processing library. It has the well-known "substr", "trim", "replace" and some usefull predicates already developed. - pc_http_parser.pl :: Is a library that implements predicates for the RFC-1945 and RFC-2068(the standards for HTTP-0.9 and HTTP-1.1). I tried to use the same names as the RFCs designates. PillowCase(the name of the project) can be configured changing the file pc_config.pl, just set the home_dir/1 and start the dance_pillowcase/0 predicate. The last time I modified the code I could server HTML pages or process Pillow and send the results. - Project page :: https://savannah.nongnu.org/projects/pillowcase/ - Documetation :: http://www.nongnu.org/pillowcase/ - Source Mercurial Repository :: http://hg.savannah.gnu.org/hgweb/pillowcase/ - Text Processing Library :: http://download.savannah.gnu.org/releases/pillowcase/ Cheers! -- ---------------------------------- Once a word has been allowed to escape, it cannot be recalled. -- Quintus Horatius Flaccus (Horace) ----------------------------------

1 0

Re: [Ciao-users] Run time loading
by ciao＠clip.dia.fi.upm.es 13 Apr '13

13 Apr '13

Hi John, not sure exactly if this is what you are looking for, but here is an example of how to load a module dynamically: > :- module(_,_). > > :- import(bar,[b/1]). > > main(X) :- > use_module(bar), > b(X). The import declaration should only be used in these cases (see the manual). It only declares the interface: bar is not loaded until run time when the use_module call is executed (and can thus have different contents for each run). A two-argument module declaration ':- module(_,_).' loads in the executable all the normal Prolog functionality and thus also the runtime compiler (needed for dynamic predicate load). If you are specifying the packages loaded by hand (i.e., using the third argument of the module declaration) then the runtime compiler is not loaded by default (useful for smaller executables) and you have to load it explicitly: > :- module(_,_,[]). > > :- import(bar,[b/1]). > :- use_module(library(compiler)). > > main(X) :- > use_module(bar), > b(X). Hope this helps! --Manuel H -- ----------------------- 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 -----------------------------------------------------------------------------

2 1

Re: [Ciao-users] [Ciao-mailman] ensure_loaded
by ciao＠clip.dia.fi.upm.es 13 Apr '13

13 Apr '13

Sorry, I skipped this previous message (see also the answer for your later message regarding modules, also copied below). In the case of user files the solution is similar: > :- module(_,_). > > :- import(user,[bar/1]). > > main :- > ensure_loaded(bar), > bar(X). Cheers, --Manuel H > From: ciao(a)clip.dia.fi.upm.es > To: mcculloch <mccullochj(a)att.net> > Cc: ciao-users(a)clip.dia.fi.upm.es > Subject: Re: [Ciao-users] Run time loading > Date: Sat, 13 Apr 2013 11:44:47 +0200 > > > Hi John, not sure exactly if this is what you are looking for, but > here is an example of how to load a module dynamically: > > > :- module(_,_). > > > > :- import(bar,[b/1]). > > > > main(X) :- > > use_module(bar), > > b(X). > > The import declaration should only be used in these cases (see the > manual). It only declares the interface: bar is not loaded until run > time when the use_module call is executed (and can thus have different > contents for each run). > > A two-argument module declaration ':- module(_,_).' loads in the > executable all the normal Prolog functionality and thus also the > runtime compiler (needed for dynamic predicate load). If you are > specifying the packages loaded by hand (i.e., using the third argument > of the module declaration) then the runtime compiler is not loaded by > default (useful for smaller executables) and you have to load it > explicitly: > > > :- module(_,_,[]). > > > > :- import(bar,[b/1]). > > :- use_module(library(compiler)). > > > > main(X) :- > > use_module(bar), > > b(X). > > Hope this helps! --Manuel H -- ----------------------- 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 -----------------------------------------------------------------------------

1 0

O'Ciao CiaoDE-1.15-1712-ga8c821b examples
by Javier G. Rueda 12 Apr '13

12 Apr '13

Hi, I've done: ciaoc -c use_stack.pl stack.pl and got: {In *class_expansion* ERROR: (lns 0-0) Predicate fact$exp/3 undefined in source ERROR: (lns 0-0) Predicate $goalis_empty0/1 undefined in source ERROR: (lns 0-0) Predicate $goaltop1/1 undefined in source ERROR: (lns 0-0) Predicate $goalpop1/1 undefined in source ERROR: (lns 0-0) Predicate $goalpush1/1 undefined in source ERROR: (lns 0-0) Predicate $factstorage1/1 undefined in source ERROR: (lns 0-0) Predicate $factstorage1/1 undefined in source ERROR: (lns 0-0) Predicate $goalis_empty0/1 undefined in source ERROR: (lns 0-0) Predicate $goaltop1/1 undefined in source ERROR: (lns 0-0) Predicate $goalpop1/1 undefined in source ERROR: (lns 0-0) Predicate $goalpush1/1 undefined in source ERROR: (lns 0-0) Predicate $factstorage1/1 undefined in source ERROR: (lns 0-0) Predicate class$goalcalling/3 undefined in source ERROR: Aborted module compilation but stack.po, stack.itf, use_stack.po and use_stack.itf were generated. The thing is: I tried programming an O'Ciao class made by myself using foreign_interface for some of the predicates of the class, and got the same errors, .po and .itf files, but no .o or .c generated. With the .po and .itf files already in place, compiling again (same command) generated .c and .o files without errors. ¿Is this the expected behavior? Thank You, Regards Javier

1 0

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

← Newer
1
...
14
15
16
17
18
19
20
...
95
Older →

Jump to page:

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