Ciao-users

ciao-users@cliplab.org

948 discussions

Re: [Ciao-users] Cannot get Ciao 1.15 menus on iMac Maverick OS X 10.9.4
by ciao＠clip.dia.fi.upm.es 13 Aug '14

13 Aug '14

> Thanks for the quick response. > > I will download the source and try to build CiaoDE on the Mac. > > Incidentally, I tried emacs (as opposed to Aquamacs) and it read > DOTemacs.el and then read ciao.el with the warning that ciao.elc was > older than ciao.el. > > Could someone tell me how to recompile ciao.el to ciao.elc from within > emacs (or Aquamacs). >From emacs simply do "M-x byte-recompile-file" -- ----------------------- 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

Re: [Ciao-users] [Ciao-mailman] getting into trace mode.
by ciao＠clip.dia.fi.upm.es 13 Aug '14

13 Aug '14

Sorry, a correction (I got the debug_module commands backwards): - For a 'user file' (file with no module declaration): ?- debug_module(user). ?- ensure_loaded('/tmp/foo.pl'). ?- trace. - For a module: ?- debug_module(foo). ?- use_module('/tmp/foo.pl'). ?- trace. Then: ?- p(X). 1 1 Call: user:p(X) ? -- ----------------------- 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

Cannot get Ciao 1.15 menus on iMac Maverick OS X 10.9.4
by John O'Gorman 12 Aug '14

12 Aug '14

Hi Help please. 1. I was using ciao-1.14 on an iMac with Aquamatics OK except that there was no lpdoc. Initially I found that I was missing the DOTemacs.el file from the Mac download, but I had got round that by copying it from the Linux version which I have been using for some years. 2. So I downloaded CiaoDE-1.15 development version and then my troubles began. At least I now had lpdoc. Despite the presence of a file ~/.emacs which I created with the command: (load-file "/usr/local/lib/ciao/DOTemacs.el") Aquamacs refused to go into ciao-mode or to display the Ciao menus. It produces the error message: "bug in ciao-mode: it forgets to call `run-mode-hooks'" 3. I tried to read the emacs manual and found that with version 24.something they have changed the run-hooks functions and now seem to favour using run-mode-hooks instead. So next I tried to find where run-hooks was called and found that ciao.el contained 2 calls. I edited the file replacing run-hooks with run-mode-hooks but found that Aquamacs was instead running the file ciao.elc. When I tried to compile this I was defeated? a. I tried M-x byte-compile-fileC-q"/usr/local/lib/ciao/ciao.el" but got the message [no match]. Putting parentheses around the command made no difference. b. I found that Aquamacs had a tools menu with offered compile. Executing this put me into the minibuffer: M-x make -k I added "/usr/local/lib/ciao/ciao.elc" but again [no match]. Obviously there was no makefile. So. How should I proceed next? What is the meaning of [no match] in the minibuffer? Aquamacs does read from both ~/.emacs and from There is no lisp or elisp command on the Mac. Versions: Mac OS X 10.9.4 Aquamacs 3.0preview3 (based on GNU emacs 24.3.50.2) CiaoDE-1.15 Regards John O'Gorman

1 0

Re: [Ciao-users] [Ciao-mailman] getting into trace mode.
by ciao＠clip.dia.fi.upm.es 04 Aug '14

04 Aug '14

> Hello, > > I type > > ?- trace. > > at the prompt, and then execute my query and ciao doesn't trace. > > The same occurs with > ?- debug. Hi Jim, the Ciao debugger is modular, so that you can turn debugging on or off for each of the modules of a large project. This allows easily mixing code not being debugged (compiled for speed, space savings) with code compiled in debug mode. It also has source debugging capabilities, i.e., it traces execution through the source code (graphically if within Emacs or other environments). In order to use it, assuming we want to trace file foo.pl: - Easiest way: within Emacs, open foo.pl and type 'C-c d' (or, via menus CiaoDbg->(Un)Debug buffer source). The foo module will be automatically reloaded in debug mode and set to trace, and queries to it will be traced in the source file. - You can also do it manually (e.g., at a shell, outside the graphical environment). You mark the module or user file for debugging and reload. The debugger then needs to be set to trace: - For a module: ?- debug_module(user). ?- use_module('/tmp/foo.pl'). ?- trace. - For a 'user file' (file with no module declaration): ?- debug_module(foo). ?- ensure_loaded('/tmp/foo.pl'). ?- trace. Then: ?- p(X). 1 1 Call: user:p(X) ? Using debug_module_source(...) makes the debugger print source location information (works best within Emacs, etc.). Let us know if you have any problems! MH -- ----------------------- 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

Fwd: how to enrich a linguistic app using CIAO with with sound and picture
by oui＠mailoo.org 04 Aug '14

04 Aug '14

Hi Jose Your answer is in my view very important and very good for all user being operating with texts! Thank you very much! Probably it is also included in the manual but it is very difficult to find the item of manual... For people willing to treat linguistic problems and making them attractive for other people, two or three things can help a lot: - show a jpeg picture of the object of the word or fact being related by the sentence - send a wave file (or mp3), to show or check how to pronounce. How to send both to the standard output and - clear the screen (as far as probably needed) before to continue the dialogue? Kind regards

2 2

getting into trace mode.
by James Lipton 27 Jul '14

27 Jul '14

Hello, I type ?- trace. at the prompt, and then execute my query and ciao doesn't trace. The same occurs with ?- debug. What do i need to do? Regards JL

1 0

how to / exemple for using CIAO with unicode contents
by oui＠mailoo.org 20 Jul '14

20 Jul '14

Hi I am searching for exemples for using CIAO Prolog with unicode contents. Are they possible in atoms and variables or only in variables? How to elaborate unicode contents for HTML? Is there somewhere a bibliothek online for Proloog applications using both? Kind regards

2 1

Substitues for get0 and get predicates?
by GreyHat LispHacker 14 Jul '14

14 Jul '14

Hello, Apologies for this rather elementary question. I'm learning prolog via Michael Covington's Prolog Programming in Depth and working through the examples using Ciao 1.14.2. (The book, and source files can be found at: http://www.covingtoninnovations.com/books.html). I'm having difficulty getting the car.pl example to work (pg 54-60). He uses the following to parse a single character input (Y or N): get_yes_or_no(Result) :- get(Char), % read a character. get0(_), % consume the Return after it. interpret(Char,Result), !. % cut -- see text Apparently, Ciao has neither a a get/1 nor a get0/1 predicate. As far as I can tell, the original get0/1 predicate parses a return character, unifies it with an anonymous variable (resulting in yes), and then procedes to the predicate interpret(). I changed get(Char) to get_char(Char), and get0 to get_code(_), but this puts me in an endless loop that calls get_yes_or_no again. get_char(_) is similarly incorrect. Is there a predicate that is exactly equivalent to get0(_), or is there a more complex solution involving streams? Thanks in advance.

3 2

Re: [Ciao-users] [Ciao-mailman] Substitues for get0 and get predicates?
by ciao＠clip.dia.fi.upm.es 13 Jul '14

13 Jul '14

Yes, use the more modern (ISO) get_char/1 and get_code/1. With: get_yes_or_no(Result) :- get_code(Char), % read a character get_code(_), % consume the Return after it interpret(Char,Result), !. % cut -- see text you should get: > ?- get_yes_or_no(Result). > |: Y > > Result = yes ? > > yes > ?- get_yes_or_no(Result). > |: N > > Result = no ? > > yes > ?- get_yes_or_no(Result). > |: l > > Type Y or N:l > > Type Y or N:l > > Type Y or N:l > > Type Y or N:Y > > Result = yes ? > > yes > ?- You can get a loop if you use get_char/1 instead of get_code/1 since interpret/2 (which expects an ascii code) will fail before the cut and execution will go to the second clause. 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 -----------------------------------------------------------------------------

1 0

Vienna Summer of Logic: Call for Participation
by Manuel Carro 13 Jun '14

13 Jun '14

Vienna Summer of Logic: Call for Participation Vienna, Austria July 9-24, 2014 http://vsl2014.logic.at Registration deadline: June 30, 2014 Link to VSL Video: http://vimeo.com/98030762 *The Vienna Summer of Logic (VSL) is organized by the Kurt Gödel Society (http://kgs.logic.at) and will be held in Vienna, Austria in July 2014, at the Vienna University of Technology (http://www.tuwien.ac.at). *The VSL will consist of twelve large conferences and more than 80 workshops, attracting more than 2000 researchers from all over the world. The event includes three streams, Logic in Computer Science/Federated Logic Conference (FLoC), Mathematical Logic and Logic in Artificial Intelligence. Logic in Computer Science / Federated Logic Conference * 26th International Conference on Computer Aided Verification (CAV) * 27th IEEE Computer Security Foundations Symposium (CSF) * 30th International Conference on Logic Programming (ICLP) * 7th International Joint Conference on Automated Reasoning (IJCAR) * 5th Conference on Interactive Theorem Proving (ITP) * Joint meeting of the 23rd EACSL Annual Conference on Computer Science Logic (CSL) and the 29th ACM/IEEE Symposium on Logic in Computer Science (LICS) * 25th International Conference on Rewriting Techniques and Applications (RTA) joint with the 12th International Conference on Typed Lambda Calculi and Applications (TLCA) * 17th International Conference on Theory and Applications of Satisfiability Testing (SAT) * FLoC Workshops * FLoC Olympic Games (System Competitions) * SAT/SMT Summer School 2014 Mathematical Logic * Logic Colloquium 2014 (LC) * Logic, Algebra and Truth Degrees 2014 (LATD) * Compositional Meaning in Logic (GeTFun 2.0) * The Infinity Workshop (INFINITY) * Workshop on Logic and Games (LG) * Workshop on Nonclassical Proofs: Theory, Applications and Tools * Kurt Goedel Fellowship Competition Logic in Artificial Intelligence * 14th International Conference on Principles of Knowledge Representation and Reasoning (KR) * 27th International Workshop on Description Logics (DL) * 15th International Workshop on Non-Monotonic Reasoning (NMR) * International Workshop on Knowledge Representation for Health Care 2014 (KR4HC) *Program: Keynote talks: * Franz Baader * Edmund Clarke * Christos Papadmitriou * Dana Scott (opening talk) * Alex Wilkie Invited talks of the FLoC conferences: * Alessandro Acquisti * Christel Baier * Gilles Barthe * Rance Cleaveland * Patrick Cousot * Rod Chapman * Leonardo de Moura * Jasmin Fisher * Nicola Gambino * Rajeev Goré * Assia Mahboubi * Ken McMillan * David Monniaux * Jakob Nordström * Frank Piessens * Manfred Schmidt-Schauss * Peter Sewell * Anna Slobodova * Fabio Somenzi * Erik Winfree * Nobuko Yoshida Invited talks of the Logic in AI conferences: * Michael Benedikt * Philippe Besnard * Patrick Blackburn * Tony Cohn * Georg Gottlob * Alon Y. Halevy * Sheila McIlraith * Hans Rott Invited talks of the Mathematical Logic conferences: * Krzysztof Apt * Franz Baader * Andrej Bauer * Patty Blanchette * Andres Cordon Franco * Kirsten Eisenträger * Vera Fischer * Melvin Fitting * Silvio Ghilardi * Noam Greenberg * Julia Knight * Leszek Kołodziejczyk * Vincenzo Marra * George Metcalfe * Ben Miller * Dale Miller * Alexandre Miquel * Mark Reynolds * Dana Scott * Mariya Soskova * Alasdair Urquhart * Albert Visser Please consult the VSL website for further information on invited speakers and contributed talks of all the participating conferences and workshops. *Kurt Gödel Research Prize Fellowship Competition: At the Vienna Summer of Logic, the Kurt Gödel Society will award three fellowship prizes endowed with 100.000 Euro each to the winners of the Kurt Gödel Research Prize Fellowship Competition “Logical Mind: Connecting Foundations and Technology.” *FLoC Olympic Games - Citius, Maius, Potentius: The Federated Logic Conference (FLoC) 2014 will host the 1st FLoC Olympic Games. Intended as a new FLoC tradition, the Games will bring together a multitude of established solver competitions by different research communities. In addition to the competitions, the Olympic Games will facilitate the exchange of expertise between communities, and increase the visibility and impact of state-of-the-art solver technology. The winners in the competition categories will be awarded Kurt Gödel medals at the FLoC Olympic Games award ceremonies. *Banquets and receptions: The VSL social program offers a taste of Viennese architecture and cuisine – be prepared for the beauty of Schönbrunn Palace and its gardens, as well as for the grandeur of the Vienna City Hall and the Museum of Natural History. *The city of Vienna: A city rich in history and culture, Vienna is the perfect venue for the summer of logic. Discover Vienna’s museums, gardens, palaces and coffee places while you experience the largest gathering of logicians in history. *Registration: For online registration for VSL, please follow the link on this VSL web page: http://vsl2014.at/registration/ The registration deadline is June 30, 2014. *VSL Chairs: Matthias Baaz Thomas Eiter Helmut Veith -- +------------------------------------------------------------------------------+ | Manuel Carro --- E.T.S. Ing. Informaticos -- U. Politécnica de Madrid (UPM) | | Campus de Montegancedo --- E-28660 Boadilla del Monte --- Spain | | Phone: +34-91-101-2202 ext 4140 |

1 0

← Newer
1
...
10
11
12
13
14
15
16
...
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