gmane.comp.ai.prolog.swi

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

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

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

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

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

JPL problem (Prolog from within Java)

Jon Sneyers — 2012-05-20T14:33:16

Hi,

I just installed a fresh copy of SWI-Prolog 6.0.2, and I cannot seem to get JPL 
to work. Calling Java from Prolog works fine, but the other way around gives 
the typical error

 .../libjpl.so: undefined symbol: PL_is_initialised

I'm invoking java with the -Djava.library.path set correctly, the environment 
variable SWI_HOME_DIR is set correctly, and jpl.jar is of course in the 
classpath.

I've tried compilation both with and without the "--enable-shared" option, but 
it does not make a difference. I've tried putting symlinks to libswipl.so* in 
/usr/lib/ (just to be sure it can be found), but that also does not help.

It is a fresh Ubuntu 12.04 install, x86_64 architecture.

Any help would be appreciated.


Best regards,
-Jon.

Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm

WLPE 2012 - Call for Papers

Wim Vanhoof — 2012-05-18T19:48:48

[Apologies for multiple copies...]

-----------------------------------------------------------

               WLPE 2012 - CALL FOR PAPERS

            Workshop on Logic-based Methods in
                  Programming Environments

             (satellite workshop of ICLP 2012)

                     September 8, 2012
                     Budapest, Hungary

         http://users.dsic.upv.es/workshops/wlpe2012/
-----------------------------------------------------------

The workshop aims at providing an informal meeting for researchers
working on logic-based tools for development and analysis of programs.
In addition to papers describing more conceptual work on environmental
tools, we solicit papers describing the implementation of and
experimentation with such tools.

We hope to attain the same friendly atmosphere as in past workshops, which
enabled fruitful exchanges leading to joint research and subsequent
publications.

Areas particularly relevant to the workshop include:

  * static and dynamic analysis

[JPL] some exec trouble and questions

Alexandre Hélias — 2012-05-18T16:11:14

Hello Dear «Blue Book» lovers,

I came to integrate the connection between Prolog & SWI-Prolog. 
Everything's working well yet.
For feeding my knowledge base I was pushing into a file, then later 
evaluating this file.

so, with bw beeing a streamWriter:
bw.append( myFact.toLowerCase() + "('" + myThing + "').\n" ) ;

Even doing so on a tmpFS, I think I would gain performance creating them 
directly through the connector.

So - and this is were my problem arise - I replaced my small lines to 
write into a file and evaluate it as my knowledge base, to push all my 
facts directly like this:

       jpl.Compound goal = new Compound(
           fact.toLowerCase(),
           new jpl.Term[] {
             new Atom(myThing)
           });
       System.out.println( "rule crafted: " +  goal.toString() ) ;
       jpl.Query q = new jpl.Query( goal ) ;

But, that produces such kind of errors:

[-] : PrologException: error(existence_error(procedure, /(father, 1)), 
context(:(system, /('$c_call_prolog', 0)), _1))
rule

CICLOPS 2012: Call for Papers

Nicos — 2012-05-18T07:44:13

--------------------------------------------------------------
              CICLOPS 2012 - Call for Papers

       12th International Colloquium on Implementation of
         Constraint and LOgic Programming Systems

                  ICLP 2012 Workshop

                  4th September 2012
                  Budapest, Hungary

            http://www.cs.unipr.it/ciclops12/
           Submission deadline: June 20, 2012
--------------------------------------------------------------


This workshop aims at discussing and exchanging experience on the design, implementation, and
optimisation of logic, constraint (logic) programming systems, and other systems based on logic
as a means to express computations. Experience backed up by real implementations and their
evaluation will be given preference, as well as descriptions of work in progress in that direction.

Topics of interest include, but are not limited to:

- Sequential implementation schemes (abstract machines, translation to other languages, etc.).
- Imp

~>

Alan Baljeu — 2012-05-17T14:22:18

I saw an example on this thread this week.  It looks useful.  What and where is it?
 

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

Position available for a Prolog programmer.

Jan Wielemaker — 2012-05-14T19:58:21

Hi,

There is a position available for a (SWI-)Prolog programmer. I have
spent some time on the pilot phase, so I can explain the problem.

There is a legacy expert system in chemical process design that has been
designed since the late 80s. The system is huge (about 1,000,000 lines
of Prolog). It was initially written for IF/Prolog 4 on Unix/X11. It has
been ported to IF/Prolog 5 on Windows/MFC. During the pilot, we ported
most of it to SWI-Prolog using a web-based interface.

25 years of development where we now emulate IF/Prolog 5 in SWI-Prolog,
while the code emulates IF/Prolog 4 means that it is time for big-time
refactoring. This requires a quite experienced Prolog programmer who can
deal with Prolog meta-programming, which is used a lot in the emulation
layers as well as the expert system itself. Meta-programming and program
analysis skills are also needed to automate the upcomming refactoring
process.  In other words, this is a nice engineering challenge :-)

Oh, about 80% of the code is in German an

blob atoms

Alan Baljeu — 2012-05-14T15:55:24

I'm slightly overwhelmed by the PL_blob_t stuff, and underwhelmed by the clarity of the documentation.

I'm looking at a case I think would be the most common, and wish there was an example: Allocate a pointer (it's shared, never copied), store it in an atom, and have the pointer freed when all references go away.

One point of confusion is the allocator predicate.  It seems the only way to create a blob is to register my own foreign_t which will then create the blob object.  But then why is the acquire(atom_t) function pointer needed?

Anyway, it seems so basic, I wonder if there's a standing example that just defines the three methods to 

1) malloc/new a pointer and put it in a blob atom

2) extract the pointer from an atom
3) delete the pointer

and hooks this to SWI.

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

Can anyone suggest a good book on User Interface Design?

Jeff Rosenwald — 2012-05-13T15:23:00

All:

Sorry for the off-topic post, but can anyone suggest a good book or other resource on User Interface Design (that's in print here in the U.S.).

Regards,
Jeff R.
-------------- next part --------------
HTML attachment scrubbed and removed

Extensions packs 0.1

Jan Wielemaker — 2012-05-12T15:10:42

Hi,

The current SWI-Prolog package management was clearly a too big hurdle
to take for many users. Before something can be accepted as standard
package, it must

  - be maintained in a git repository
  - be portable to the main target systems:
    Linux, MacOS and Windows, 32 and 64-bits and at least in
    principle to other POSIX systems.
  - Be documented using the LaTeX and/or PlDoc standards
  - Have appropriate configure and make support.
  - Have a fair tradeof between value for users and size because it
    comes with all tarballs and binaries.

After some peer pressure (especially by Tom Schrijvers; thanks), I
finally came up with the first steps to make something really simple and
without any central authority.  It is far from complete, but in a nutshell

  - A pack is a directory with a small info file called pack.pl and a
    subdirectory 'prolog' that is added to the Prolog library.
  - Create an archive from this using tar or zip and put in on an HTTP
    server.
  - Download it yourself and i

Ann: SWI-Prolog 6.1.4

Jan Wielemaker — 2012-05-12T14:43:40

Hi,

I'm happy to announce SWI-Prolog 6.1.4.  The list of changes is long.  Here
are the highlights:

   * Randy Sharp has fixed zillions of typos in the reference manual. 
Thanks!
   * There is a basic package management system that allows users to share
     packages really easily (I hope).  Will be announced in a seperate mail.
   * Many enhancements to code reachability checking for list_undefined
     (make), autoload and development tools.
   * Various enhancements to PceEmacs.  Ctrl+/- to zoom in/out, colouring,
     etc.
   * Distinguish imports using use_module/1 from use_module/2.  The first
     may be locally overruled.
   * Various stability issues.

Enjoy --- Jan


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

  * ADDED: library(prolog_pack) for installation of Prolog package.

  * FIXED: Recent changes to autoload update didn't work with patterns
    like dir/*.pl.

  * FIXED: numbervars/3 to number inside '$VAR'(X).  Tobias Rho.

  * E

pure input on a socket

Alan Baljeu — 2012-05-10T21:51:54

At present, pure_input takes a seekable stream like a file, but the manual suggests pipe support is planned.  

Thinking for myself, if a DCG construct demands a value, it should read from a buffer to get it.  If the buffer is exhausted, it should seek additional input from the stream.  On backtracking, data is already read from the stream and there's no need (or ability) to read again, so we get info from what's already read in.  For my case, I'm not worried about data volume being excessive so I don't care to limit the stream cache.  The only question is that the DCG alone knows how much data to read and when we reached end of input.  So how do we tie these together?

Is this about right?  Is there an easier way?  Has anything been started?
 

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

DES 3.0 Released

2012-05-10T12:55:10

[Apologies for multiple receptions]

Hello.
This is a mail just for informing that the new release 

  Datalog Educational System version 3.0 
  http://des.sourceforge.net

has been launched on May, 10th, 2012, and ported to

  SWI-Prolog 6.0.2

There are two relevant enhancements in the current release: 
Predicate persistency supported by external databases, and 
an extended SQL debugger. The first one motivates raising 
the major version as it opens a brand new scenario for 
several reasons: First, predicates are no longer limited by 
available memory; instead, persisted predicates are using as
much secondary storage as needed and provided by the 
underlying external database. Second, processing is directed
to the external database for those rules that can be 
projected, and to the deductive engine for rules that can 
not. This way, one can take advantage of the external 
database performance and scalability. Third, queries which 
are not possible in an external database can be solved by 
the deductive eng

build / which gcc?

Manfred Jeusfeld — 2012-05-10T12:50:50

I am puzzled a bit with the gcc version that is used for building swipl.

I changed the variable
   CC=gcc-4.4
in the file build but when I then compile swipl, it will
anyway use gcc.

That is at least what is printed on the terminal during make.
Shouldn't the makefile use $(CC) instead gcc?

I am using Ubuntu 12.04 (64bit) and gcc-4.4 instead gcc-4.6
because of some incompatibilities with other software.
So, if swipl is compiled with gcc-4.6, then I am afraid
that I cannot link it to the other software that is compiled
with gcc-4.4.

Cheers: Manfred

PDT?

Alan Baljeu — 2012-05-09T17:02:10

Should I drop PCE emacs for the Eclipse PDT?  
 
Alan Baljeu
-------------- next part --------------
HTML attachment scrubbed and removed