Ciao-users January 2000

ciao-users@cliplab.org

2 participants
3 discussions

predicate_property/2 in CIAO 1.0pl7
by Paulo Jorge Lopes de Moura 04 Jul '00

04 Jul '00

Hi, I need a way to find if a given predicate is dynamic, static or built-in. The Reference Manual lists the usual predicate_property/2 but does not enumerate the possible predicate properties. Can someone provide me with some more info or a possible solution? Thanks. Regards, Paulo ----------------------------------------------------------- Paulo Jorge Lopes de Moura Dep. of Mathematics and Informatics Office 4.32 University of Beira Interior Phone: +351 75 319700 6200 Covilhc Fax: +351 75 319732 Portugal mailto:pmoura(a)noe.ubi.pt http://www.ci.uc.pt/logtalk/pmoura.html -----------------------------------------------------------

3 2

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

[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

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 January 2000