Ciao-users

ciao-users@cliplab.org

948 discussions

Re: Pillow problems
by Mike Rosner 19 May '99

19 May '99

I hate to bother you again but the prolog_shell that I downloaded contains the undefined predicate open1/4. Any idea where I can find a def for that predicate? Mike Rosner

1 0

Pillow problems
by Mike Rosner 18 May '99

18 May '99

Hallo, I am attemptng to write cgi scripts and looking at the following paragraph in the Pillow documentation: "It is generally relatively easy to support scripts with the same functionality in most LP/CLP systems (see [13] for an example developed for the CIAO system and adapted to SICStus)." I haven't been able to find the example referred to despite looking all over your home site. Can you help? Kindest regards Mike Rosner p.s. The example in question concerns "Let's assume that lpshell is a version of the LP/CLP system (for example, a saved state), which first loads the file given to it as the first argument (but excluding the first line and routing all loading messages away from the standard output) and then starts execution at main/1 (the argument provides the list of command line options). Then, for example, in a Unix system, the following program can be run directly as a script without any need for compilation:" =================================================================== Michael Rosner Internet: mros(a)cs.um.edu.mt Dept. Computer Science and AI Telephone: +356 32 90 25 04 University of Malta Fax: +356 32 05 39 Msida, MALTA

2 1

html.pl patch to allow calling CGI without args
by eike＠orang.org 15 May '99

15 May '99

--Boundary_(ID_cskesxA86VECs2o/Glxkmg) Content-type: text/plain; charset=us-ascii Content-disposition: inline Content-transfer-encoding: quoted-printable I patched html.pl from the pillow distribution so that it allows to call = CGIs without any arguments. As this seems to be a common problem it might = be considerd for inclusion it in the distribution. Please regression test = since I don't know what I'm doing (but it seems to work) ~eike Hallo Michael, Ich hab das html.pl etwas umgepatch. Es scheint Du hattest schon mal das = gleiche Problem, das man keine CGIs OHNE Argumente aufrufen konnte. Leider = hat der vorhandene Patch den Aufruf mittels GET (aka http://bla.cgi?a=3Db) = verhindert,. So geht's jetzt sowohl ohne Arguments als auch mittels GET. # diff -u pillow.dist/html.pl html.pl --- html.pl,v96.2.1b Sat May 15 00:49:45 1999 +++ html.pl Sat May 15 01:51:57 1999 @@ -492,9 +492,11 @@ getenvstr('CONTENT_TYPE', ContentType), http_media_type(Type,Subtype,Params,ContentType,[]), get_form_input_of_type(Type,Subtype,Params,Dic). -get_form_input_method(M, _) :- - html_report_error(['Unknown request method ', tt(M), - ' or bad request.']). +get_form_input_method(M, Dic) :- + Dic =3D []. +% eike.oran.org: modified to allow empty input (no QUERY_STRING given) +% html_report_error(['Unknown request method ', tt(M), +% ' or bad request.']). get_form_input_of_type(application, 'x-www-form-urlencoded', _, Dic) :- getenvstr('CONTENT_LENGTH', N), --Boundary_(ID_cskesxA86VECs2o/Glxkmg) Content-type: text/enriched; charset=us-ascii Content-disposition: inline Content-transfer-encoding: quoted-printable <fontfamily><param>Times</param>I patched html.pl from the pillow = distribution so that it allows to call CGIs without any arguments. As this = seems to be a common problem it might be considerd for inclusion it in the = distribution. Please regression test since I don't know what I'm doing = (but it seems to work) ~eike Hallo Michael, Ich hab das html.pl etwas umgepatch. Es scheint Du hattest schon mal das = gleiche Problem, das man keine CGIs OHNE Argumente aufrufen konnte. Leider = hat der vorhandene Patch den Aufruf mittels GET (aka http://bla.cgi?a=3Db) = verhindert,. So geht's jetzt sowohl ohne Arguments als auch mittels GET. </fontfamily><fontfamily><param>Courier</param><smaller># diff -u = pillow.dist/html.pl html.pl --- html.pl,v96.2.1b Sat May 15 00:49:45 1999 +++ html.pl Sat May 15 01:51:57 1999 @@ -492,9 +492,11 @@ getenvstr('CONTENT_TYPE', ContentType), http_media_type(Type,Subtype,Params,ContentType,[]), get_form_input_of_type(Type,Subtype,Params,Dic). -get_form_input_method(M, _) :- - html_report_error(['Unknown request method ', tt(M), - ' or bad request.']). +get_form_input_method(M, Dic) :- + Dic =3D []. +% eike.oran.org: modified to allow empty input (no QUERY_STRING given) +% html_report_error(['Unknown request method ', tt(M), +% ' or bad request.']). get_form_input_of_type(application, 'x-www-form-urlencoded', _, Dic) :- getenvstr('CONTENT_LENGTH', N), </smaller></fontfamily> --Boundary_(ID_cskesxA86VECs2o/Glxkmg)--

1 0

new version of pl2texi
by Manuel Hermenegildo 23 Apr '99

23 Apr '99

I have installed a new version of pl2texi. Mainly user-reported bug fixes but also some new functionality. These are the most important changes: - Fixed -modes option, which was broken since going to the new normalizer (was normalizer problem). This should affect (pistively) several of the manuals. - Now a warning is issued if characters unsupported by info are used in section names. - A background can now be specified for the @tt{html} manuals (needs a modified version of @apl{texi2html} included with the @apl{pl2texi} library). Navigation in html docs improved by moving the location of indexing commands in texinfo files up a bit. - Made more silent in normal conditions: file inclusion reports (e.g., when interpreting an @include command) are now muted unless @tt{-v} option is selected. - A @tt{-u} @em{File} option is now supported so that a file including path alias definitions can be included (this has the same functionality as the @tt{-u} option in @apl{ciaoc}). And this is the complete list of changes: :- comment(version(1*8+32,1999/04/22,03:10*55+'CEST'), "Fixed @tt{-modes}, which was broken since going to the new normalizer (was normalizer problem). (Manuel Hermenegildo)"). :- comment(version(1*8+31,1999/04/22,03:10*19+'CEST'), "Fixed problem with no documentation when only modes given. (Manuel Hermenegildo)"). :- comment(version(1*8+31,1999/04/22,03:10*19+'CEST'), "Fixed problem with no documentation when only modes given. (Manuel Hermenegildo)"). :- comment(version(1*8+30,1999/04/21,13:13*08+'CEST'), "Fixed duplication of internals when also exported. (Manuel Hermenegildo)"). :- comment(version(1*8+29,1999/04/21,12:42*32+'CEST'), "Several improvements in the behaviour for user files. Still, this really needs to be fixed in @lib{c_itf}. (Manuel Hermenegildo)"). :- comment(version(1*8+28,1999/04/21,10:40*55+'CEST'), "Eliminated unnecessary loading of iso_byte_char and dcg_expansion. (Manuel Hermenegildo)"). :- comment(version(1*8+27,1999/04/12,15:06*23+'MEST'), "Now a warning is issued if characters unsupported by info are used in section names. (Manuel Hermenegildo)"). :- comment(version(1*8+26,1999/04/12,12:29*34+'MEST'), "Navigation in html docs improved by moving the location of indexing commands in texinfo files up a bit. (Manuel Hermenegildo)"). :- comment(version(1*8+25,1999/04/08,21:53*35+'MEST'), "Made more silent in normal conditions: file inclusion is muted now unless @tt{-v} option is selected. (Manuel Hermenegildo)"). :- comment(version(1*8+24,1999/04/08,21:18*27+'MEST'), "Changed a bit the format of the bullets. (Manuel Hermenegildo)"). :- comment(version(1*8+23,1999/04/08,14:53*34+'MEST'), "A @tt{-u} @em{File} option is now supported so that a file including path alias definitions can be included (this has the same functionality as the @tt{-u} option in @apl{ciaoc}). (Manuel Hermenegildo)"). :- comment(version(1*8+22,1999/04/08,01:23*48+'MEST'), "A background can now be specified for the @tt{html} manuals (needs a modified version of @apl{texi2html} included with the @apl{pl2texi} library). (Manuel Hermenegildo)"). :- comment(version(1*8+21,1999/04/07,23:19*33+'MEST'), "@apl{TeX}-related intermediate files are now cleaned up after each run in order to avoid clutter. (Manuel Hermenegildo)"). Man -- ----------------------------------------------------------------------------- herme(a)fi.upm.es | Manuel Hermenegildo herme(a)cs.utexas.edu | Facultad de Informatica +34-91-336-7435 (Work) | Universidad Politecnica de Madrid +34-91-352-4819 or 336-7412 (FAX) | 28660-Boadilla del Monte, MADRID http://www.clip.dia.fi.upm.es/~herme | SPAIN -----------------------------------------------------------------------------

1 0

Re: The Pillow Library
by Daniel Cabeza Gras 22 Apr '99

22 Apr '99

Dear Mihai, > My name is Mihai Mudure and I am a student of the Techical > University in Cluj-Napoca,Romania. I recently came across the Pillow > Library which I found very interesting and extremely useful for me. > However, I have encountered a few problems trying to use it. > First of all, I tried to run the examples that you gave in the > library documentation. When I tried to run the example with the phone > database I received the error message "Existence error : procedure > popen('echo $REQUEST_METHOD',read,_40) does not exist". I couldn't find > any reference on this procedure in the Sicstus Prolog help nor in the > library documentation. > When I tried to run the check links example ( the example that > checks a web site for bad links ) I received the error message "Existence > error : socket('AF_INET',_40) : procedure pillow:socket/2 does not exist". > I kept receiving this error message even after I used > :-use_module(library(sockets)). It seems that you are using the html.pl file which goes with the distribution, or that you have not changed the variable SYSTEM in the Makefile file to be sicstus3 previous to run 'make'. Please read the file README of the distribution which explains the procedure to generate pillow.pl and html.pl to suit your needs. > If you could help me on any of these problems I would very much > appreciate it. I would also like to know if you have updated documentation > for the Pillow Library (and where I could find it). I would also like to > know if you are planning to create a library that would run under Windows > 95 OS. The last available documentation about PiLLoW is in the URL http://www.clip.dia.fi.upm.es/Software/pillow/pillow.html Respect the other question, is more an issue of the Prolog system on which PiLLoW runs than a problem of PiLLoW (I believe). Best wishes, .......................................................................... : : Facultad de Informatica : : Daniel Cabeza Gras : Universidad Politecnica de Madrid : : CLIP Group : 28660-Boadilla del Monte, MADRID : : bardo(a)clip.dia.fi.upm.es : SPAIN : ..........................................................................

1 0

The Pillow Library
by Mihai Mudure 22 Apr '99

22 Apr '99

Dear Sir, My name is Mihai Mudure and I am a student of the Techical University in Cluj-Napoca,Romania. I recently came across the Pillow Library which I found very interesting and extremely useful for me. However, I have encountered a few problems trying to use it. First of all, I tried to run the examples that you gave in the library documentation. When I tried to run the example with the phone database I received the error message "Existence error : procedure popen('echo $REQUEST_METHOD',read,_40) does not exist". I couldn't find any reference on this procedure in the Sicstus Prolog help nor in the library documentation. When I tried to run the check links example ( the example that checks a web site for bad links ) I received the error message "Existence error : socket('AF_INET',_40) : procedure pillow:socket/2 does not exist". I kept receiving this error message even after I used :-use_module(library(sockets)). If you could help me on any of these problems I would very much appreciate it. I would also like to know if you have updated documentation for the Pillow Library (and where I could find it). I would also like to know if you are planning to create a library that would run under Windows 95 OS. Thank you very much and I look forward to your reply. Yours truly, Mihai Mudure P.S. I have Sicstus Prolog 3.0

1 0

New version of pl2texi (patches)
by Manuel Hermenegildo 07 Apr '99

07 Apr '99

New patches for pl2texi installed. Note that the meaning of the indexing commands (@concept, @index, @cindex, ...) has changed somewhat, due to user requests: - @index is now used where a concept or term us >defined< (normally in only one place). It appears in emphasized face. - @concept (in a similar way to @pred, etc.) should be used in the places where the concept is used and an index entry (and/or hyperlink to the definition) is desired. List of changes: :- comment(version(1*8+20,1999/04/07,21:11*14+'MEST'), "Adobe @tt{pdf} format now supported as a valid target. Unfortunately, embedded @tt{.eps} figures are not supported at this time in pdf output. (Manuel Hermenegildo)"). :- comment(version(1*8+19,1999/04/07,21:06*55+'MEST'), "A single @tt{.texi} file is now constructed (by grouping the @tt{.texic} files generated for all components) in which the references and menus are resolved. This has the advantage that the process of resolving references and menus has now been sped up very significantly. Also, @tt{texi} is now a valid target (perhaps useful for distributions). (Manuel Hermenegildo)"). :- comment(version(1*8+18,1999/04/07,13:58*05+'MEST'), "Generated files now have @tt{texic} suffix, since they are a @em{texinfo component}. (Manuel Hermenegildo)"). :- comment(version(1*8+17,1999/04/05,23:24*04+'MEST'), "Now requesting building a .ps only does not leave a .dvi behind (useful for distributions). (Manuel Hermenegildo)"). :- comment(version(1*8+16,1999/03/31,19:47*19+'MEST'), "Added explanation for new cartouche and footnote commands. (Manuel Hermenegildo)"). :- comment(version(1*8+15,1999/03/31,19:34*54+'MEST'), "@@begin@{cartouche@} and @@end@{cartouche@} commands now supported. (Manuel Hermenegildo)"). :- comment(version(1*8+14,1999/03/31,19:04*46+'MEST'), "@@foonote command now supported. (Manuel Hermenegildo)"). :- comment(version(1*8+13,1999/03/31,12:40*04+'CEST'), "The second argument of @tt{:- comment(hide,...).} and @tt{:- comment(doinclude,...).} declarations can now be a list of predicate names. (Manuel Hermenegildo)"). :- comment(version(1*8+12,1999/03/31,10:13*44+'CEST'), "Old @em{usage} index is now called, more appropriately, @em{global} index. Correspondingly, changed things so that now every definition goes to the global index in addition to its definitional index. (Manuel Hermenegildo)"). :- comment(version(1*8+11,1999/03/30,23:52*01+'MEST'), "The individual descriptions of predicates, props, regtypes, declarations, etc. now appear as entries in the table of contents of the printed manual. This can be shut off with the @tt{-shorttoc} option. (Manuel Hermenegildo)"). :- comment(version(1*8+10,1999/03/30,23:01*44+'MEST'), "Improved the concept index of the documentation. (Manuel Hermenegildo)"). :- comment(version(1*8+9,1999/03/30,22:15*07+'MEST'), "New definitions of @@index, @@cindex, and @@concept commands. (Manuel Hermenegildo)"). :- comment(version(1*8+8,1999/03/30,22:13*32+'MEST'), "Implemented support for the new definitions of @@index, @@cindex, @@concept. (Manuel Hermenegildo)"). -- ----------------------------------------------------------------------------- herme(a)fi.upm.es | Manuel Hermenegildo herme(a)cs.utexas.edu | Facultad de Informatica +34-91-336-7435 (Work) | Universidad Politecnica de Madrid +34-91-352-4819 or 336-7412 (FAX) | 28660-Boadilla del Monte, MADRID http://www.clip.dia.fi.upm.es/~herme | SPAIN -----------------------------------------------------------------------------

1 0

New version of pl2texi (patches)
by Manuel Hermenegildo 30 Mar '99

30 Mar '99

Some new changes to version 1.8: :- comment(version(1*8+7,1999/03/30,20:08*29+'MEST'), "Added support for @em{part} filetype. (Manuel Hermenegildo)"). :- comment(version(1*8+6,1999/03/30,20:06*04+'MEST'), "Added 'cartouche' around usage and interface. (Manuel Hermenegildo)"). :- comment(version(1*8+5,1999/03/30,19:28*51+'CEST'), "Minor formatting problem when no documentation nor definition found for a regtype fixed. (Manuel Hermenegildo)"). :- comment(version(1*8+4,1999/03/30,18:09*54+'CEST'), "Added a new filetype: @tt{part}. This allows splitting large documents into parts, each of which groups a series of chapters. (Manuel Hermenegildo)"). :- comment(version(1*8+3,1999/03/26,20:00*47+'MET'), "Changed @tt{Makefile.skel} so that now typing just @tt{gmake} does nothing. In order to do something at least one target should be specified. This was necessary so that recursive invocations with empty arguments did nothing. (Manuel Hermenegildo)"). :- comment(version(1*8+2,1999/03/26,18:15*16+'MET'), "Now, declarations are always documented as long as there is a @tt{decl} assertion. Also, they are now documented in a separate section. (Manuel Hermenegildo)"). :- comment(version(1*8+1,1999/03/25,10:12*49+'MET'), "New @tt{gmake distclean}, intended for software distributions. Leaves the generated documents and eliminates @em{all} intermediate files (including @tt{.texi} files). (Manuel Hermenegildo)"). -- ----------------------------------------------------------------------------- herme(a)fi.upm.es | Manuel Hermenegildo herme(a)cs.utexas.edu | Facultad de Informatica +34-91-336-7435 (Work) | Universidad Politecnica de Madrid +34-91-352-4819 or 336-7412 (FAX) | 28660-Boadilla del Monte, MADRID http://www.clip.dia.fi.upm.es/~herme | SPAIN -----------------------------------------------------------------------------

1 0

*** New version (1.8) of pl2texi available ***
by Manuel Hermenegildo 24 Mar '99

24 Mar '99

A new version of pl2texi (the CIAO auto documenter) has been installed at the clip lab and also on the WWW. This version completes the port to use the ciao 0.8 modular assertion processing library. In addition, it includes the following improvements: - Now, if the name of a file being documented ends in @tt{_doc}, the @tt{_doc} part is left out when referring to the file in the documentation (useful if one would like to place the documentation declarations in different file). - It is now possible to declare (via a @dec{comment/2} declaration) the intended use of a file which is not a module (i.e. a package, user, or include file), which results in correct documentation of operator definitions, new declarations, etc. The declaration is only needed for 'user' files (i.e., files to be loaded with @pred{ensure_loaded/1}). - Separated generation of the manuals from their installation. I.e., @tt{gmake install} now does not force a @tt{gmake all}, which has to be done by hand. This was necessary to ensure correct installation of distributed manuals, even if modification dates are changed during installation. Previously, in some cases generation was triggered unnecessarily. - New @tt{-v} option allows using quieter by default operation when not debugging. - New option @tt{-propmods} makes the name of the module in which a property is defined appear in front of the property in the places where the property is used. - New option @tt{-noisoline} makes the textual explanation of the @prop{iso/1} property not appear in the description of the usage (but the @iso symbol does appear) - Two new options, '-nosysmods' and '-noengmods', selectively avoid listing the system or engine libraries used. - If there is no declaration for a predicate, now a line is output with the name and arity and a simple comment saying that there is no further documentation available (this has the great advantage that then it goes in the index, and, for example in ciao, they get added to completion commands!). - Now, if a property or regtype declaration has no textual comment, the actual definition is given (first level only) in the place where it is documented, and a simple generic message where it is used. - Added @@noindent and @@iso commands. - Nicer spacing now when printing predicate names which are operators, as well as modes, etc. - Reporting of versions in libraries has been improved: now both the global version and the last version in which the library itself was changed are reported. - Exported new declarations also documented now for include-type files. - A module is now documented even if exports nothing at all. - Engine modules used now documented even if no other modules used (was a reported bug). - Fixed indexing of names containing @@ etc. for newer versions of texinfo. - Tabs in verbatim modes now converted to a number of spaces (8). Not perfect, but produces better output than leaving the tabs in. - Tex is now run in 'nonstopmode' which means it will typically not stop if there are minor errors (but some errors may go unnoticed...). - The full path of the version maintenance directory is now computed (correctly) using the directory of the @tt{.pl} file being documented as base. - Notices for missing subtitle, copyright, and summary now only given from main file and not for components. - Added special handling of regtype and generalized it to handle some props specially if there is a certain comp property present. -- ----------------------------------------------------------------------------- herme(a)fi.upm.es | Manuel Hermenegildo herme(a)cs.utexas.edu | Facultad de Informatica +34-91-336-7435 (Work) | Universidad Politecnica de Madrid +34-91-352-4819 or 336-7412 (FAX) | 28660-Boadilla del Monte, MADRID http://www.clip.dia.fi.upm.es/~herme | SPAIN -----------------------------------------------------------------------------

1 0

Re: Downloading CIAO
by Manuel Hermenegildo 10 Feb '99

10 Feb '99

> By the way, is CIAO compatible to CLP(R)? CIAO does have a CLP(R)-compatible library, but this is not being distributed yet (we are porting it from a previous version of CIAO). We hope to have it ready shortly, though. -- ----------------------------------------------------------------------------- herme(a)fi.upm.es | Manuel Hermenegildo herme(a)cs.utexas.edu | Facultad de Informatica +34-91-336-7435 (Work) | Universidad Politecnica de Madrid +34-91-352-4819 or 336-7412 (FAX) | 28660-Boadilla del Monte, MADRID http://www.clip.dia.fi.upm.es/~herme | SPAIN -----------------------------------------------------------------------------

1 0

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