gmane.comp.ai.prolog.swi

Re: help with command line options

Jeff Rosenwald — 2012-05-25T15:02:13

 Hi Don:

This sort of thing is typically done this way:

jeffr< at >jeffr-SX2803:~$ swipl -s tmp1.pl -q -g 'answer_to_the_ultimate_question(A),writeln(A), halt' -t 'halt(1)' && echo ok || echo fail
42
ok
jeffr< at >jeffr-SX2803:~$ 

 
That is, cause your goal to be executed as the initialization (-g) goal, not the toplevel (-t) goal. This way, if your goal fails it'll return a bad exit status. Make sure your goal halts, or you will end up halting with a bad exit status. The -c switch is only used if you are producing an binary executable using -o.

Regards,
Jeff R.

 

-----Original Message-----
From: don batory <batory< at >cs.utexas.edu>
To: swi-prolog <swi-prolog< at >lists.iai.uni-bonn.de>
Sent: Fri, May 25, 2012 10:00 am
Subject: [SWIPL] help with command line options


I have been unable to run prolog from the command line

to (a) load a  swi prolog file and (b) execute a predicate/goal.

The predicate writes to a file, so I can see that it has executed.

 

Ive tried a variety of combinations (and orderings) of the c

Re: help with command line options

J.J.Green — 2012-05-25T14:55:15

Hi Don,

You might want to check that your command line includes
no unicode, unlike your email


typically non-ascii characters like "–" get written into 
web-page documentation by "clever" pretty-printers, then
cut and pasted into shells, with confusion following.
Likewise, your quotes are non-ascii;

Best

Jim

Re: help with command line options

Ralf Laemmel — 2012-05-25T14:43:45

Here are two ways of doing this.
Regards,
Ralf

$ echo ":- write(hello),nl,halt." > hello.pro
$ swipl --quiet -f hello.pro
hello
$ echo "main :- write(hello),nl,halt." > hello.pro
$ swipl --quiet -f hello.pro -t main
hello


On Fri, May 25, 2012 at 3:59 PM, don batory <batory< at >cs.utexas.edu> wrote:

-------------- next part --------------
HTML attachment scrubbed and removed

help with command line options

don batory — 2012-05-25T13:59:06

I have been unable to run prolog from the command line

to (a) load a  swi prolog file and (b) execute a predicate/goal.

The predicate writes to a file, so I can see that it has executed.

 

Ive tried a variety of combinations (and orderings) of the command below:

 

Ø  swipl  -t printout c trules.pl

 

where printout is the goal to execute once trules.pl has been loaded.

 

If someone can explain what I am doing wrong, Id be most appreciative.

Thank you in advance.

 

don Batory.

-------------- next part --------------
HTML attachment scrubbed and removed

Re: arithmetic_function

Pierpaolo Bernardi — 2012-05-25T12:27:08

On Fri, May 25, 2012 at 1:44 PM, Leopold, Matthias
<Matthias.Leopold< at >dzb.de> wrote:

User defined arithmetic functions have been removed from swi-pl recently.
Now there's a compatibility library for most of the old functionality:

http://cliopatria.swi-prolog.org/help/source/doc/swi/library/arithmetic.pl

To use this library you must use the directive:

?- use_module(library(arithmetic)).

Are you using this library, or your code has been written for an old
version of swi-prolog?

Cheers
P.
_______________________________________________
SWI-Prolog mailing list
SWI-Prolog< at >lists.iai.uni-bonn.de
https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog

Re: arithmetic_function

Jan Wielemaker — 2012-05-25T12:21:29

Quicky: use

:- use_module(library(arithmetic)).

This directive is compiled and cannot be called through the autoloader 
(contradicting the manual :-().

Cheers --- Jan

On 25/05/12 13:44, Leopold, Matthias wrote:

arithmetic_function

Leopold, Matthias — 2012-05-25T11:44:56

Dear all,

being new to this list I hope to use it as it is thought to be.

I use an arithmetic_function like

  :- arithmetic_function(predicate/5).

  predicate(P1, P2, P3, P4, P5, P6) :-
    (P1 = ..., P6 is 0, !
    ;P2 = ..., P6 is 1, !
    ...
    ), !.


The architecture is to use both definitions within a module that is compiled into an executable (so no screen). With using the swi-pl version 6 I get now the message "Wrong context: arithmetic_function/1 can only be used in a directive". What is my mistake?

Thank you very much

Matthias Leopold

Re: Ann: SWI-Prolog 6.1.5

Joel Foutelet — 2012-05-25T09:35:19

Hi Jan

Problem with SWI-Prolog 6.1.5. and the editor :
I can't use anymore AltGr key to type '[', ']',  '< at >' ...

Joël


On 24/05/2012 21:03, Jan Wielemaker wrote:

Re: A problem about SWI-Prolog

Lyn Matten — 2012-05-25T07:55:24

Hi,

why don´t you give your predicates name back:

highPrice(X,Name) :- goodQuality(X,'goodQuality').
highPrice(X,Name) :- lookNice(X,'lookNice').

Greetings Lyn

Am 24.05.2012 um 17:30 schrieb 徐天宇:


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 495 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <https://lists.iai.uni-bonn.de/pipermail/swi-prolog/attachments/20120525/dbb0162b/attachment.bin>
_______________________________________________
SWI-Prolog mailing list
SWI-Prolog< at >lists.iai.uni-bonn.de
https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog

Re: Packages

Nicos Angelopoulos — 2012-05-25T06:37:49

Dear Jan,

A packaging tool was long overdue. Congratulations for your efforts in  bringing it to Swi. 

I think it will take a bit more than a few weeks to establish the
system as the Prolog community has not being at all good at sharing code.
I hope you persevere, Swi is an excellent vehicle for changing attitudes.
Getting the first ones up and running is crucial.

Personally, I try to make code available through my website, and I hope to 
package it using your tool.
For instance : 
http://bioinformatics.nki.nl/~nicos/sware/dlp/mcmcms
However, I had no time to look into it yet.

From the sounds of it, it would appear that the package only stays on the
uploaders website. Wouldn't it make sense to keep a cache somewhere on your
servers as well? I think most successful repositories are quite centralised
so the users can expect continuity. Ideally the Prolog community should have
common servers for prolog code, but I cannot see who would organise this.

I suggest a discussion at ICLP this year ? 
At CICLOPS '

Re: Packages

Alan Baljeu — 2012-05-25T01:12:47

You need 1 place that organizes *everything*. Because right now if I need something I don't know where to look.

I saw Packs on your site, but that meant nothing to me.  Then you have packages in the Semantic web link, then there's Manual where you have the main manual and "package" manuals.  In the main manual you have several "included" packages like CHR and Appendix A with clp and csv.

And then there's the "C" part of the standard distro, whose documentation covers sockets and I continually forget what that's hiding.  Except for Google, I still don't know where it is.

If it's unified, people can go 
to one  place to find stuff, or go to that place to contribute.  
  

Alan Baljeu


From: Jan Wielemaker <J.Wielemaker< at >vu.nl>

To: SWI-Prolog< at >lists.iai.uni-bonn.de 
Sent: Thursday, May 24, 2012 3:23:20 PM
Subject: [SWIPL] Packages
 
Hi,

Clearly, something is wrong with my package initiative. I know the
version in 6.1.4 suffered from technical issues. I also happen to know
from the download statistics

Re: New logo

Norbert E. Fuchs — 2012-05-24T21:42:25

Nice.


In fact it has, for instance to Winnie the Pooh.

   --- nef

Re: New logo

Paulo Moura — 2012-05-24T21:24:39

Hi Jan,

On 24/05/2012, at 20:10, Jan Wielemaker wrote:


Nice work, Steve. It looks greaat :-)

Cheers,

Paulo



-----------------------------------------------------------------
Paulo Jorge Lopes de Moura, PhD
Assistant Professor
Dep. of Computer Science, University of Beira Interior
6201-001 Covilhã, Portugal

Office 3.18  Ext. 3276
Phone: +351 275 242081 Fax: +351 275 319899
Email: <mailto:pmoura< at >di.ubi.pt>

Home page: <http://www.di.ubi.pt/~pmoura>
Research:  <http://logtalk.org/> Blog: <http://blog.logtalk.org/>
-----------------------------------------------------------------

Packages

Jan Wielemaker — 2012-05-24T19:23:20

Hi,

Clearly, something is wrong with my package initiative. I know the
version in 6.1.4 suffered from technical issues. I also happen to know
from the download statistics that nearly all users happen to prefer the
stable (e.g., 6.0.x) version. The reported issues should be solved in
6.1.5.

Nevertheless, only a small `hello world' package and only 2 downloads
indicate there is something wrong.

On the other hand, I received enough mail that indicates that people want
a package system and I see successes using repositories for other systems.

Please, provide feedback on what you think is wrong.  Also, think of the
code you have lying around and want to share.  Creating a pack is really
easy and only requires a packaging tool (tar or zip), a place on the web
to upload to (Dropbox can be used as indicated by the hello package) and
an internet connection.

Cheers --- Jan

New logo

Jan Wielemaker — 2012-05-24T19:10:56

Hi,

After a far too long delay and several chats, I've made a decision on
the new SWI-Prolog logo.  You find the new logo on the website as well
as in the application icons of 6.1.5.

The winning logo is an owl by Steve Reeves (http://www.pixelmagic.co.nz/).

The logo is simple and colourful, while an owl has various relevant 
associations.

The logo is distributed under the creative commons SA (Share Alike) license,
which implies you can make your own variations as long as you distribute 
them
under the same license.

Thanks to everybody who contributed!

Enjoy --- Jan

Ann: SWI-Prolog 6.1.5

Jan Wielemaker — 2012-05-24T19:03:24

Hi,

I've uploaded SWI-Prolog 6.1.5.  Highlights:

   * Fixed handling of interrupt (Control-C) on non-Windows platforms.
     (solved by Keri Harris).
   * Avoid compiling files in system mode when compiling from the debugger
     and the debugger is running in its own thread.
   * Fixed two debugger-related GC errors (causes crashes while debugging)
   * Reduced locking in findall/3 and sending messages between threads.
     (more will follow for findall/3).
   * Avoid leaking memory on the trail-stack when using setarg/3 (also
     attributed variables) in certain settings.
   * Fixed some arithmetic issues; added copysign/2.
   * Some issues with the package system: address of the server, create
     user directory and deal with older versions of libarchive.
   * Replaced website and program icons with the new logo.

Enjoy --- Jan


=================================
SWI-Prolog Changelog since V6.1.4
=================================

  * PORT: Use _copysign() on Microsoft compilers.  Per Mildner.

  * A

Re: A problem about SWI-Prolog

Paulo Moura — 2012-05-24T19:01:37

On 24/05/2012, at 16:30, 徐天宇 wrote:


One solution is to write a meta-interpreter that returns both the query results an explanation how the query was proved. The downside is that a meta-interpreter will carry a performance penalty.

Cheers,

Paulo


-----------------------------------------------------------------
Paulo Jorge Lopes de Moura, PhD
Assistant Professor
Dep. of Computer Science, University of Beira Interior
6201-001 Covilhã, Portugal

Office 3.18  Ext. 3276
Phone: +351 275 242081 Fax: +351 275 319899
Email: <mailto:pmoura< at >di.ubi.pt>

Home page: <http://www.di.ubi.pt/~pmoura>
Research:  <http://logtalk.org/> Blog: <http://blog.logtalk.org/>
-----------------------------------------------------------------








_______________________________________________
SWI-Prolog mailing list
SWI-Prolog< at >lists.iai.uni-bonn.de
https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog

Re: A problem about SWI-Prolog

Edison Mera — 2012-05-24T18:58:19

A solution would be to add an argument to highPrice that tells you the
reason:

highPrice(X,goodQuality) :- goodQuality(X).
highPrice(X,lookNice) :- lookNice(X).
highPrice(X,monopolize):- monopolize(X, _).
...

highPrice(iPhone,Y), will give you in Y the reasons why iPhone have
highPrice.
Regards,

Edison.

2012/5/24 徐天宇 <xty213< at >gmail.com>

A problem about SWI-Prolog

徐天宇 — 2012-05-24T15:30:34

Hello everybody! I'm a green hand of Prolog, and I have a problem must be
solved now. Hope you can give me some helpful suggestions.

In real world, one result may be reasoned by different  premises. In
Prolog, we may find several solutions to one query, each solution uses
different predicates. For example, a following program:

highPrice(X):- goodQuality(X).
highPrice(X):- lookNice(X).
highPrice(X):- monopolize(X,_).

goodQuality(iPhone).
lookNice(iPhone).
monopolize(someOtherPhone,cellPhone).

If we do a query: highPrice(iPhone), we will get true; true; false. But I
want to figure out *by which predicate did I find the solution, *for
example, the first output is true because goodQuality(iPhone). Do i have
some ways to get the predicate I used and address this problem? If you have
any idea please help me, thanks. :)
-------------- next part --------------
HTML attachment scrubbed and removed

Fw: ~>

Alan Baljeu — 2012-05-22T15:21:12

(Sorry Jan, didn't mean to send only to you.)

 Trying this.  The following code fails when call(Handler...) throws an exception (because the other end dropped the link).  Instead of closing the connection, close_connection complains that In is unbound.  But it was bound before the call went out.  Is the flaw here, or elsewhere?



process_client(Socket, _Peer, Handler) :-
    (  tcp_open_socket(Socket, In, Out)
    ~> close_connection(In, Out)  )
    , call(Handler, In, Out)
    .
 
Alan Baljeu


From: Jan Wielemaker <J.Wielemaker< at >vu.nl>

To: Alan Baljeu <alanbaljeu< at >yahoo.com> 
Sent: Tuesday, May 22, 2012 11:04:40 AM
Subject: Re: [SWIPL] ~>
 
On 05/22/2012 04:46 PM, Alan Baljeu wrote:

Except that it leaves a choice point.  Of course, there is some
danger here that a later release is smart enough to delete this ...'

In my view, relying on non-determinism in setup_call_cleanup/3 is also 
the weak point of ~>.   The idea is to do

    open(File, read, In) ~> close(In),
    process

setup_call_(catcher)_cleanup

Alan Baljeu — 2012-05-22T15:03:41

I imagined these would be equivalent unless an exception occurs, but the former quits while the latter works.  What's going on?

create_client(Host, Port) :-
        setup_call_cleanup(tcp_socket(Socket),
                                   tcp_connect(Socket, Host:Port),
                                   tcp_close_socket(Socket)),
        setup_call_cleanup(tcp_open_socket(Socket, In, Out),
                           chat_to_server(In, Out),
                           close_connection(In, Out)).

create_client(Host, Port) :-
        setup_call_catcher_cleanup(tcp_socket(Socket), %% different
                                   tcp_connect(Socket, Host:Port),
                                   exception(_), %% different
                                   tcp_close_socke