Ciao-users

ciao-users@cliplab.org

948 discussions

Pillow Interface
by katie tipps 03 Apr '00

03 Apr '00

I am using pillow to develop an interface to some existing, complex, planning tools written in sicstus prolog as part of my final year project at university. The planning tools output using write statements. In order to run a test on the web I used the following code extract. compute_reply('',_,'') :- !. compute_reply(File,Test,Reply) :- ['planner.pl'], Reply = [ --, 'The result is ', test1, '.',\\]. I need to run a test, which basically requires me to call a function called test1 Of course if I do this before the Reply = [ ] then the test executes and as this is before the valid html output in the main it causes an error. However if I try to call it in the reply statement for example Reply = ['The results are ', test1, '.' ,\\]. then it is taken as a string and the output is 'The results are test1' So I was wondering if there was a way of running a test within the Reply initialisation. Unfortunately Sicstus does not seem to be able to redirect the stream to a string as this would prbably have solved the problem. I would prefer not to change the planner if at all possible. Thankyou for any help you can provide. ______________________________________________________ Get Your Private, Free Email at http://www.hotmail.com

3 2

tell/1
by Waseem Besada 03 Apr '00

03 Apr '00

Hi, I was wondering if 'tell/1' builtin is implemented in the current version of ciao? Regards, Waseem

2 1

[herme: Re: ciao on Linux/Alpha: no luck]
by Manuel Hermenegildo 27 Mar '00

27 Mar '00

------- Start of forwarded message ------- X-Coding-System: nil Return-Path: <herme(a)clip.dia.fi.upm.es> Date: Mon, 27 Mar 2000 14:08:15 +0200 From: Manuel Hermenegildo <herme> To: vannoord(a)let.rug.nl In-reply-to: <14559.1814.894629.449628(a)gudrun.let.rug.nl> (vannoord(a)let.rug.nl) Subject: Re: ciao on Linux/Alpha: no luck CC: ciao-users References: <200003161901.UAA24548(a)gudrun.let.rug.nl> <200003262332.BAA32118(a)clip.dia.fi.upm.es> <14559.1814.894629.449628(a)gudrun.let.rug.nl> Hi Gertjan, > Perhaps you could get a login account on our alpha/linux machine for a > few days or so; however that would have to wait until our sys.adm. > is back from his trip to Japan. Let me know if that would suit your, > connection might be slow though... OK, thanks for the offer. That could be a solution. In the meantime we are trying to locate one of those here: ours is a huge CS department, three large buildings with over 3000 students and 200 faculty -- some lab somewhere in the three buildings could have one of those machines with the right version of the OS! Will keep you updated. Cheers -- Manuel - -- - ----------------------------------------------------------------------------- herme(a)fi.upm.es | Manuel Hermenegildo +34-91-336-7435 (Work) | Facultad de Informatica, UPM +34-91-352-4819 or 336-7412 (FAX) | Universidad Politecnica de Madrid http://www.clip.dia.fi.upm.es/~herme | 28660-Boadilla del Monte, MADRID SPAIN - ----------------------------------------------------------------------------- ------- End of forwarded message ------- -- ----------------------------------------------------------------------------- herme(a)fi.upm.es | Manuel Hermenegildo +34-91-336-7435 (Work) | Facultad de Informatica, UPM +34-91-352-4819 or 336-7412 (FAX) | Universidad Politecnica de Madrid http://www.clip.dia.fi.upm.es/~herme | 28660-Boadilla del Monte, MADRID SPAIN -----------------------------------------------------------------------------

1 0

[vannoord@let.rug.nl: Re: ciao on Linux/Alpha: no luck]
by Manuel Hermenegildo 27 Mar '00

27 Mar '00

------- Start of forwarded message ------- X-Coding-System: nil Return-Path: <vannoord(a)let.rug.nl> Date: Mon, 27 Mar 2000 08:00:38 +0100 (MET) From: "Noord G.J.M. van" <vannoord(a)let.rug.nl> Subject: Re: ciao on Linux/Alpha: no luck In-reply-to: <200003262332.BAA32118(a)clip.dia.fi.upm.es> To: Manuel Hermenegildo <herme> MIME-version: 1.0 References: <200003161901.UAA24548(a)gudrun.let.rug.nl> <200003262332.BAA32118(a)clip.dia.fi.upm.es> Manuel Hermenegildo writes: > > Did you get to try compiling Ciao in 32-bit mode? We would certainly > be interested in the patch! Cheers -- Manuel I tried to comment out the assertions: no luck. Also I tried to find out what switch I needed to compile in 32-bit mode, but could not find it anywhere in the documentation (perhaps I looked in the wrong place). Perhaps you could get a login account on our alpha/linux machine for a few days or so; however that would have to wait until our sys.adm. is back from his trip to Japan. Let me know if that would suit your, connection might be slow though... Gertjan - -- Gertjan van Noord Alfa-informatica, RUG, Postbus 716, 9700 AS Groningen vannoord at let dot rug dot nl http://www.let.rug.nl/~vannoord/ ------- End of forwarded message ------- -- ----------------------------------------------------------------------------- herme(a)fi.upm.es | Manuel Hermenegildo +34-91-336-7435 (Work) | Facultad de Informatica, UPM +34-91-352-4819 or 336-7412 (FAX) | Universidad Politecnica de Madrid http://www.clip.dia.fi.upm.es/~herme | 28660-Boadilla del Monte, MADRID SPAIN -----------------------------------------------------------------------------

1 0

Re: Character strings
by jfran 22 Mar '00

22 Mar '00

> >From ciao Wed Mar 22 13:12:57 2000 > Received: from mistral.dia.fi.upm.es by clip.dia.fi.upm.es (8.9.3/FI-4.1) Wed, 22 Mar 2000 13:12:57 +0100 > Received: by mistral.dia.fi.upm.es (8.8.8/FI-4.1) Wed, 22 Mar 2000 13:12:57 +0100 > Date: Wed, 22 Mar 2000 13:12:57 +0100 > Message-Id: <200003221212.NAA19186(a)mistral.dia.fi.upm.es> > From: "Pablo S. Torralba" <psanchez(a)mistral.dia.fi.upm.es> > To: ciao-users > Subject: Characters strings > > > Hi, > > I know that exists a flag for changing the behavior of the ciao > system, so the characters strings are shown like a readable string > rather than an ascii codes list. Try: :- set_prolog_flag(write_strings, on). --

1 0

Character strings
by Pablo S. Torralba 22 Mar '00

22 Mar '00

Hi, I know that exists a flag for changing the behavior of the ciao system, so the characters strings are shown like a readable string rather than an ascii codes list. Can anyone help me? ¡¡Thanks!! Pablo S. Torralba

1 0

Trouble with Pillow
by wahju rjb agung 17 Mar '00

17 Mar '00

Now I can make a prolog script for html in cgi-bin, but I have trouble when I want to use Pillow. I'm using Ciao-1.4 under Linux. I have run the make file as instructed in the README and then I try to make the example like this : --------------------------------------------- #!/bin/sh exec /usr/local/bin/ciao-shell $0 "$@" # -*- mode: ciao; -*- :- use_module('/usr/local/lib/ciao/ciao-1.4/library/pillow/pillow.pl'). main(_) :- get_form_input(Input), get_form_value(Input,person_name,Name), response(Name,Response), output_html([ 'Content-type: text/html', html([title('Telephone database'), img$[src='/images/redball.gif'), h2('Telephone Database'), hr$[], Response)]). response(Name, Response) :- form_empty_value(Name) -> Response = 'You have to provide a name.' ; phone(Name, Phone) -> Response = ['Telephone number of ',b(Name),': ',Phone] ; Response = ['No telephone number avalaible for ',b(Name),'.']. phone(daniel, '336-7448'). phone(manuel, '336-7435'). phone(sacha, '543-5316'). ------------------------------------------------ When I try to access the cgi script via a browser I get an Internal Server Error. When I tried to run from shell prompt, I found several error like this : ------------------------------------------------ ERROR: (lns 5-16) syntax error :, | or ] expected in list main(_) :- get_form_input(Input), get_form_value(Input, person_name, Name), response(Name, Response), output_html([Content-type:text/html, html([title(Telephone Database), img$[src=/images/redball.gif), h2(Telephone Database),hr$[],Response)]) ERROR : Source used as module without module declaration {ERROR : user : main/1 - undefined predicate} ------------------------------------------------ What is the problem ? Regards Wahju Join 18 million Eudora users by signing up for a free Eudora Web-Mail account at http://www.eudoramail.com

3 2

Pillow Problems
by D.J. Scholey C9651239 03 Mar '00

03 Mar '00

Hello I am a final year student and interested in using PiLLoW in my project. I have been trying a few of your example programs but with little success. I am using Sicstus 3.7 and have tried some of the suggestions made already such as changing the html.pl (Alexander Serebrenik 06/13/99) and used a shell script to control my programs. I have run the make file as instructed in the README. When I try to access the cgi script via a browser I get an Internal Server Error. When I run the files in a shell tool I get the following hades{c9651239}6: html_forms.cgi SICStus 3.7: Tue Sep 08 19:55:50 MET DST 1998 Licensed to hud.ac.uk {SICStus state restored from /stud/yrf/bsccsd4/c9651239/pillow/pillow/examples/html_forms.cgi} Content-type: text/html <html><title>html.pl Error Report</title> <hr> <img src="http://www.clip.dia.fi.upm.es/images/warning_large.gif"><h1>html_pl Error Report</h1> <hr> <b>The following error was encountered: </b>existence_error(main,0,procedure,:(user,/(main,0)),0) <hr> </html> I have checked everything I can think so I wondered if anyone had any ideas. Thanks Dan

3 2

Try Constraint Handling Rules Online
by Thom Fruehwirth 09 Feb '00

09 Feb '00

Constraint Handling Rules (CHR) are available free and online now at: http://www.pms.informatik.uni-muenchen.de/~webchr/ Click on the link above to run the latest release of CHR in Sicstus Prolog on our server. Choose among dozens of constraint solvers written in CHR. Ask any query. Or even write your own constraint solvers. CHR are a rule-based high-level language to write constraint systems. CHR make it easy to define constraint reasoning: simplification and propagation as well as incremental solving (satisfaction) of constraints. Also, CHR have been successfully used as general purpose concurrent constraint language with ask and tell, as fairly efficient production rule system, as special kind of theorem prover, as system combining forward and backward chaining, as high-level language for manipulating attributed variables. CHR are essentially a committed-choice language consisting of guarded rules with multiple head atoms. CHR define simplification of, and propagation over, constraints. Simplification rewrites constraints to simpler constraints while preserving logical equivalence (e.g. X>Y,Y>X <=> false). Propagation adds new constraints which are logically redundant but may cause further simplification (e.g. X>Y,Y>Z ==> X>Z). Repeatedly applying the rules incrementally solves constraints (e.g. A>B,B>C,C>A leads to false). With multiple heads and propagation rules, CHR provide two features which are essential for non-trivial constraint handling. Test-Drive CHR. Run CHR online. Do a demo. Try it out now! Thom Fruehwirth

1 0

html_forms.pl
by Waseem Besada 23 Jan '00

23 Jan '00

Hi, I recompiled and installed pillow for SWI-prolog on a Linux machine. When I try to consult html_forms.pl I get the following error: ?- consult('html_forms.pl'). % html.pl compiled 0.05 sec, 71,828 bytes ERROR: (/home/httpd/cgi-bin/html_forms.pl:91): Undefined procedure: save/2 Warning: (/home/httpd/cgi-bin/html_forms.pl:91): Goal (directive) failed: user:save_cgi('html_forms.pl', main) % html_forms.pl compiled 0.05 sec, 78,700 bytes Any hints why ? Regrads, Waseem

3 3

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