Ciao-users

ciao-users@cliplab.org

948 discussions

[Fwd: [PhD programme Logic in CS] Ausschreibungstext des GKLI]
by Thom Fruehwirth 21 Jan '00

21 Jan '00

I strongly encourage applications of students with a background in constraint logic programming. Thom Fruehwirth -------- Original Message -------- Subject: [PhD programme Logic in CS] Ausschreibungstext des GKLI Date: Mon, 20 Dec 99 14:58:21 +0100 From: Klaus Schulz <schulz(a)cis.uni-muenchen.de> To: ccl(a)ps.uni-sb.de G K L I PhD Programme Logic in Computer Science Munich Call for PhD and Postdoc Grant Applications This is a call for grant applications from PhD and Postdoc students to the PhD Programme Logic in Computer Science in Munich. Grants start April 2000 with application deadline January 31st, 2000. The PhD school is a joint research programme of Ludwig-Maximilians- University, the Technical University and the Centre for Information and Language Processing in association with the companies Siemens and BMW. Participating professors are Manfred Broy, Francois Bry, Wilfried Buchholz, Wolfram Btttner, Peter Clote, Javier Esparza, Fred Kruger, Tobias Nipkow, Klaus Schulz, Helmut Schwichtenberg and Martin Wirsing. Areas of research cover - Logical foundations, lambda-calculus, equational logic, temporal logic, model checking, logic-based knowledge-representation, minimal implication, non-monotonous reasoning (Bry, Buchholz, Btttner, Clote, Kruger, Nipkow, Schulz, Schwichtenberg) - Theorem provers, using (higher order) equational theories, combination of theorem provers with special techniques, applications, knowledge processing (Bry, Buchholz, Clote, Esparza, Nipkow, Schulz, Schwichtenberg) - Modelling knowledge-based and distributed systems as well as infinite automata (Bry, Broy, Btttner, Esparza, Kruger, Wirsing) - Spezification and verification (Broy, Clote, Esparza, Kruger, Nipkow, Schwichtenberg, Wirsing) - Foundations of software-engineering, modularisation and reuse of programs, use of calculi for design and optimisation of programs, program systems and circuits (Broy, Esparza, Wirsing) - Applying methods of logic in scheduling problems, bioinformatics and in information systems. (All participants) The PhD school aims at providing its students with a solid background in logical foundations of computer science as well as the use of logical methods in the applications of theoretical computer science which can be exercised during an industrial internship at Siemens. Applications should contain: Curriculum vitae, copy of diploma and master's thesis, other scientific publications, description of Phd project, advisory reports from two university teachers. Send this information to Graduiertenkolleg Logik in der Informatik c/o Helmut Schwichtenberg Mathematisches Institut der Ludwig-Maximilians-Universitaet Theresienstr. 39 80333 Muenchen Germany Further information can be obtained from the chairman of the PhD Programme Prof. Dr. Helmut Schwichtenberg Tel. +49 89 2394 4413 schwicht(a)rz.mathematik.uni-muenchen.de http://www.mathematik.uni-muenchen.de/~schwicht and from the website http://www.mathematik.uni-muenchen.de/~gkli -------------------------------------------------------------------

1 0

CIAO Download
by CONDOR 26 Nov '99

26 Nov '99

Where is located the CIAO distribution ? It run under w32?

1 0

SWI-Porolog : atom_chars/2 is now ISO compliant
by Lesta＠t-online.de 18 Nov '99

18 Nov '99

Hello, The new SWI-prolog version 3.3.0 has changed the behaviour of atom_chars/2 ( and some others ) >From the new Manual: atom_chars/2 This predicate is now ISO compliant and thus generates a list of one-character atoms. The behaviour of the old predicate is available in the ---also ISO compliant--- atom_codes/2 predicate. Safest repair is a replacement of all atom_chars into atom_codes. Are there plans to change / update the pillow library for SWI-Prolog ? -- Regards Uwe Lesta(a)t-online.de

1 0

Rate your resource on the CodeCranker
by webmaster＠codecranker.com 29 Sep '99

29 Sep '99

As the popularity of CodeCranker grows and the number of links increases it becomes more important to make sure your site is getting the exposure in our list that it deserves. We've addressed this by putting in place a rating system that allows your users to rate the quality and content of your site. This in turn is used to sort the links in each category. We also find the highest rated links and feature them every week in a Site of the week (for each category) and a top rated resource page that is updated every day. All you have to do to participate in this system is to place the following snippet of HTML on your site.  <center><form method="post" action="http://www.codecranker.com/cgi-bin/links/rate.cgi"> <input type="hidden" name="ID" value="8115"> <table width="300" border="0" cellspacing="0" bgcolor="#0000FF"> <tr><td><center><a href="http://www.codecranker.com"><img src="http://www.codecranker.com/images/rate_blue_top.gif" width="246" height="19" border="0"></center></td></tr> <tr><td><center><font face="Verdana, Arial, Helvetica, sans-serif" size="2"color="#FFFFFF"> <select name="rate"><option selected>-</option><option>0</option><option>1</option> <option>2</option><option>3</option><option>4</option><option>5</option><option>6</option> <option>7</option><option>8</option><option>9</option></select> <input type="submit" name="Rate" value="Rate It"></font></center></td></tr> <tr><td><center><a href="http://www.codecranker.com"><img src="http://www.codecranker.com/images/rate_blue_bottom.gif" width="171" height="17" border="0"></a></center></td></tr></table></form></center> As a programmer who hates spam myself I want to make sure that you only receive this kind of e-mail if you want it. If you no longer want to receive e-mail from the CodeCranker simply reply to this message with an Un-Subscribe in the subject and we'll remove your name immediately (this won't in any way effect your link entry with us)

2 1

Your Link Was Added to the CodeCranker
by unknown＠example.com 19 Sep '99

19 Sep '99

We've added the following link into our directory: Title : The PiLLoW Pages URL : http://www.clip.dia.fi.upm.es/miscdocs/pillow/pillow.html Category : Languages/Prolog Description : The PiLLoW Pages You can see your new listing at: http://www.codecranker.com Although it's not required a reciprocal link of any form would be GREATLY appreciated. CodeCranker.com is the programmer's Search Engine. If you're looking for programming related information on the internet, this is the place you want to go. As a bonus, we also offer free E-Mail and Web pages to programmers (without spamming you or your surfers with crap). Should you have any questions, please don't hesitate to ask. Sincerely, The CodeCranker Please Note. You may have already gotten this message. If this is the case then please accept my appologies and my assurance that this Will NOT happen again. We've recently had a major server crash but have now rectified the situation. Thanks for your understanding and patience.

1 0

NT & IIS?
by Louis Rumanes 02 Jul '99

02 Jul '99

Hi, I'm running pillow under sicstus 3.7 for Windows NT. I can get the url reading utilities to work, but what do I have to do to get the cgi's to work under IIS? Do I need to set up an NT runtime for every cgi?? Thanks, Louis Rumanes

2 1

Problem with Pillow
by wahlers＠rz.uni-duesseldorf.de 13 Jun '99

13 Jun '99

Hi all, I have some problems installing pillow on top of sicstus 3.7.1. What I have done: -Installed pillow as described in README. -Changed the predicate 'save' to 'save_program' in html.pl Tried phones.pl from the examples directory: ---------------- euklid:/provided/sicstus/pillow/examples >sicstus SICStus 3.7.1 (IRIX64-6.4-IP27): Tue Oct 06 13:24:09 MDT 1998 Licensed to uni-duesseldorf | ?- [phones]. {consulting /provided/sicstus/pillow/examples/phones.pl...} {consulting /provided/sicstus/library/pillow.pl...} {consulting /provided/sicstus/library/html.pl...} {loading /provided/sicstus/library/system.ql...} {loaded /provided/sicstus/library/system.ql in module system, 10 msec 28104 bytes} {consulted /provided/sicstus/library/html.pl in module pillow, 260 msec 124608 bytes} {loading /provided/sicstus/library/sockets.ql...} {loaded /provided/sicstus/library/sockets.ql in module sockets, 10 msec 29200 bytes} {consulted /provided/sicstus/library/pillow.pl in module pillow, 380 msec 212312 bytes} {SICStus state saved in /provided/sicstus/pillow/examples/phones.cgi} {/provided/sicstus/pillow/examples/phones.pl consulted, 400 msec 214992 bytes} yes | ?- halt. -------------------- But ./phones.cgi says: ---------------------- euklid:/provided/sicstus/pillow/examples >./phones.cgi SICStus 3.7.1 (IRIX64-6.4-IP27): Tue Oct 06 13:24:09 MDT 1998 Licensed to uni-duesseldorf {SICStus state restored from /provided/sicstus/pillow/examples/phones.cgi} {INSTANTIATION ERROR: call(pillow:_668) - arg 1} | ?- --------------------- The first line in phones.pl is: :- use_module('/provided/sicstus/library/pillow.pl'). This is correct. Any ideas to get pillow running with sicstus 3.7.1? I have also tried prolog_shell3, almost the same problem. Also found nothing in the pillow docs, they seem to be related to an older version of sicstus. Thanks, Michael -- wahlers(a)uni-duesseldorf.de

5 4

Re: [schwitt@ifi.unizh.ch: Pillow & Sicstus 3.7.1]
by Daniel Cabeza Gras 24 May '99

24 May '99

Hello, I have accessed http://www.ifi.unizh.ch/cgi-bin/schwitter/hello_world and it seems to work, perhaps you have already found the problem? //) .......................................................................... : : Facultad de Informatica : : Daniel Cabeza Gras : Universidad Politecnica de Madrid : : CLIP Group : 28660-Boadilla del Monte, MADRID : : dcabeza(a)dia.fi.upm.es : SPAIN : ..........................................................................

1 0

Pillow & Sicstus 3.7.1
by Rolf Schwitter 20 May '99

20 May '99

Hello I have installed Pillow and Sicstus 3.7.1 and tried to use the following small programm located under <http://www.ifi.unizh.ch/cgi-bin/schwitter/>: main:- write('Content-type: text/html'),nl,nl, write('<HTML>'),nl, write('Hello World! It works.'), write('</HTML>'),nl. % ?- compile('hello_world.pl'), % save_program('/home/arvo/www/cgi-bin/schwitter/hello_world',(main,halt)). If I call http://www.ifi.unizh.ch/cgi-bin/schwitter/hello_world I get the following error from the server: "Premature end of script headers: /home/arvo/www/cgi-bin/schwitter/hello_world" Do you have any hints what the problem could be? Thank you very much in advance Rolf --------------------------------------- Rolf Schwitter Department of Computer Science Computational Linguistics University of Zurich Winterthurerstr. 190 CH-8057 Zurich T: +41-1-635 43 08 F: +41-1-635 68 09 E: schwitter(a)ifi.unizh.ch W: http://www.ifi.unizh.ch/cl/schwitter

1 0

Re: Pillow problems - fixed
by Mike Rosner 19 May '99

19 May '99

OK -- I fixed it by changing open1 to open and dropping the argument Goal. This seems to work. Again thanks for your help. Mike

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