On the following code:
---------File "test.pl"------------- p(a). p(b). p(c). p(d,e). p(f,g). ------------------------------------
---------Loading "test.pl", from Emacs, into Ciao----------------- ---------toplevel shell, and testing "p" predicate.---------------
?- ensure_loaded('c:/test.pl'). {Reading /cygdrive/c/test.pl WARNING: (lns 5-6) predicate p/2 is already defined with arity 1}
yes ?- p(X).
X = a ? yes ?-
------------------------------------------------------------------
Two questions:
* Are there any way of deactivating these warnings so obvious?
* Why the listerning not asks me if I want alternative solutions? It is as if upon pressing "intro" after testing "p (X)." they are pressed two times the key "intro". It is problem of Emacs (it more sure), or of the listerning (not I believe it)? How I can solve it, because if not, it is impossible to obtain ever alternative solutions to a query?
NOTE:
I have installed in my computer: * GNU Emacs 21.1.1 (i386-msvc-windows98.2222) of 2001-10-22 * Ciao Prolog for Windows, version 1.7p162
__________________________________________________ Do You Yahoo!? Yahoo! Movies - coverage of the 74th Academy Awards® http://movies.yahoo.com/
- Are there any way of deactivating these warnings so obvious?
In this simple case they are obvious, but if you have 10-arity predicates they can save yourself lot of hassle. They can be deactivated by set_prolog_flag(multi_arity_warnings, off), either in the toplevel, or as a directive (after :- ) in the ~/.ciaorc file or in the code.
- Why the listerning not asks me if I want alternative solutions?
It is as if upon pressing "intro" after testing "p (X)." they are pressed two times the key "intro". It is problem of Emacs (it more sure), or of the listerning (not I believe it)?
It seems it is an emacs problem.
How I can solve it, because if not, it is impossible to obtain ever alternative solutions to a query?
Try to see if this same problem occurs when running the DOS shell inside emacs. In the meantime, you can use findall (you need to use_module(library(aggregates)) ).
Daniel Cabeza
-
Daniel Cabeza Gras -
Jane Loans