|
View:
New views
11 Messages
—
Rating Filter:
Alert me
|
|
|
GNU Prolog 1.3.1 is releasedHi
I have just released version 1.3.1. Changes wrt 1.3.0 are as follows: * add working sigaction detection to detect fault addr (e.g. Mac OS X) * add gplc option --no-mult-warn * add prolog flags suspicious_warning, multifile_warning * detect integer underflow/overflow in the parser * fix a memory leak in catch/3 * increase limits (MAX_VAR_NAME_LENGTH=1024 and MAX_VAR_IN_TERM=10240) * add PL_INT_LOWEST_VALUE and PL_INT_GREATEST_VALUE to gprolog.h * prefix all global symbols, constants and types with Pl_ PL_ Pl * fix a bug in the byte-code due to new max number of atoms * provide a minimal gprolog.h * detect if struct sigcontext needs asm/sigcontext.h on linux * modify gplc: --c-compiler also sets linker and --linker added * port to x86_64/bsd - many thanks to: David Holland <dholland@...> * fix problem using ebx as global reg (bug in gcc 4.3.2) * fix a bug in is/2 with [X] (X should only be an integer) * fix a bug with atoms '/*' '*/' and '%' (were not quoted) * increase maximum number of atoms to 1048576 (2^20) * increase default stack sizes (16Mb for heap, 8Mb for others) * fix stack alignment for x86_64/Solaris * include patch from Paul Eggert <eggert@...> for sparc/solaris8 * port to x86_64/Solaris - many thanks to: Scott L. Burson <Scott@...> * fix a bug in arithmetics (mod) * fix a bug in the FD solver (under 64 bits machines) Enjoy -- Ce message a ete verifie par MailScanner pour des virus ou des polluriels et rien de suspect n'a ete trouve. _______________________________________________ Users-prolog mailing list Users-prolog@... http://lists.gnu.org/mailman/listinfo/users-prolog |
|
|
Re: GNU Prolog 1.3.1 is releasedOn Tue, 10 Feb 2009 16:53:47 +0100, Daniel Diaz
<Daniel.Diaz@...> wrote: >Hi > >I have just released version 1.3.1. Changes wrt 1.3.0 are as follows: > > >* add working sigaction detection to detect fault addr (e.g. Mac OS X) >* add gplc option --no-mult-warn >* add prolog flags suspicious_warning, multifile_warning >* detect integer underflow/overflow in the parser >* fix a memory leak in catch/3 >* increase limits (MAX_VAR_NAME_LENGTH=1024 and MAX_VAR_IN_TERM=10240) >* add PL_INT_LOWEST_VALUE and PL_INT_GREATEST_VALUE to gprolog.h >* prefix all global symbols, constants and types with Pl_ PL_ Pl >* fix a bug in the byte-code due to new max number of atoms >* provide a minimal gprolog.h >* detect if struct sigcontext needs asm/sigcontext.h on linux >* modify gplc: --c-compiler also sets linker and --linker added >* port to x86_64/bsd - many thanks to: > David Holland <dholland@...> >* fix problem using ebx as global reg (bug in gcc 4.3.2) >* fix a bug in is/2 with [X] (X should only be an integer) >* fix a bug with atoms '/*' '*/' and '%' (were not quoted) >* increase maximum number of atoms to 1048576 (2^20) >* increase default stack sizes (16Mb for heap, 8Mb for others) >* fix stack alignment for x86_64/Solaris >* include patch from Paul Eggert <eggert@...> for sparc/solaris8 >* port to x86_64/Solaris - many thanks to: > Scott L. Burson <Scott@...> >* fix a bug in arithmetics (mod) >* fix a bug in the FD solver (under 64 bits machines) Is a representative logo available for the Windows version of GNU Prolog 1.3.1? -- Benjamin L. Russell -- Benjamin L. Russell / DekuDekuplex at Yahoo dot com http://dekudekuplex.wordpress.com/ Translator/Interpreter / Mobile: +011 81 80-3603-6725 "Furuike ya, kawazu tobikomu mizu no oto." -- Matsuo Basho^ _______________________________________________ Users-prolog mailing list Users-prolog@... http://lists.gnu.org/mailman/listinfo/users-prolog |
|
|
Re: GNU Prolog 1.3.1 is releasedNo logo has been designed (I'm not good for this ;-)). All suggestions
are welcome ! Daniel Benjamin L. Russell a écrit : > Is a representative logo available for the Windows version of GNU > Prolog 1.3.1? > > -- Benjamin L. Russell > -- Ce message a ete verifie par MailScanner pour des virus ou des polluriels et rien de suspect n'a ete trouve. _______________________________________________ Users-prolog mailing list Users-prolog@... http://lists.gnu.org/mailman/listinfo/users-prolog |
|
|
Re: GNU Prolog 1.3.1 is releasedHow about something similar to one of the following:
PowerLoom? Knowledge Representation & Reasoning System (see the logo): http://www.isi.edu/isd/LOOM/PowerLoom/ The above-mentioned logo is also used on the following Prolog-related page: Prolog-style `append': http://www.isi.edu/isd/LOOM/PowerLoom/documentation/examples/append.html Another alternative is the following jigsaw puzzle logo, used at one site for a course in formal logic: CSC Courses: Formal Logic (see the logo): http://www.personal.ceu.hu/comp/logics.htm (It seems that logos using either some variation of a "P" (for "Prolog") or a cluster of four interlocking jigsaw pieces, possibly each representing a different Prolog-related theme, similarly to the following, would be a possibility: What Is Critical Thinking?: http://www.control-z.com/pgs/what_is_critical_thinking.html ) I think that GNU Prolog needs a logo. Why not hold a logo competition, similar to the following recently held for another functional programming language: http://www.haskell.org/logos/poll.html using the Condorcet Internet Voting Service: Condorcet Internet Voting Service: http://www.cs.cornell.edu/w8/~andru/civs/rp.html We could invite participants to submit entries, and use the Condorcet method (see http://en.wikipedia.org/wiki/Condorcet_method), to allow each voter to rank all entries in order of preference, in order to choose the "candidate who would beat each of the other candidates in a run-off election, if such a candidate exists." This method has the advantage of eventually choosing a candidate who is most universally favored by all voters, even if the candidate is not ranked in first place by any voter, since all voters rank all candidates. The Concorcet method was recently used in the above-mentioned logo competition to choose a logo for a certain functional programming language. -- Benjamin L. Russell On Wed, 08 Apr 2009 14:21:21 +0200, Daniel Diaz <Daniel.Diaz@...> wrote: >No logo has been designed (I'm not good for this ;-)). All suggestions >are welcome ! > >Daniel > >Benjamin L. Russell a ecrit : >> Is a representative logo available for the Windows version of GNU >> Prolog 1.3.1? >> >> -- Benjamin L. Russell >> Benjamin L. Russell / DekuDekuplex at Yahoo dot com http://dekudekuplex.wordpress.com/ Translator/Interpreter / Mobile: +011 81 80-3603-6725 "Furuike ya, kawazu tobikomu mizu no oto." -- Matsuo Basho^ _______________________________________________ Users-prolog mailing list Users-prolog@... http://lists.gnu.org/mailman/listinfo/users-prolog |
|
|
Re: GNU Prolog 1.3.1 is releasedHi Benjamin,
I'm ok for a nice logo for GNU Prolog. Would you be a volunteer to manage proposals + vote ? Daniel Benjamin L. Russell a écrit : > How about something similar to one of the following: > > PowerLoom? Knowledge Representation & Reasoning System (see the logo): > http://www.isi.edu/isd/LOOM/PowerLoom/ > > The above-mentioned logo is also used on the following Prolog-related > page: > > Prolog-style `append': > http://www.isi.edu/isd/LOOM/PowerLoom/documentation/examples/append.html > > Another alternative is the following jigsaw puzzle logo, used at one > site for a course in formal logic: > > CSC Courses: Formal Logic (see the logo): > http://www.personal.ceu.hu/comp/logics.htm > > (It seems that logos using either some variation of a "P" (for > "Prolog") or a cluster of four interlocking jigsaw pieces, possibly > each representing a different Prolog-related theme, similarly to the > following, would be a possibility: > > What Is Critical Thinking?: > http://www.control-z.com/pgs/what_is_critical_thinking.html > ) > > I think that GNU Prolog needs a logo. Why not hold a logo > competition, similar to the following recently held for another > functional programming language: > > http://www.haskell.org/logos/poll.html > > using the Condorcet Internet Voting Service: > > Condorcet Internet Voting Service: > http://www.cs.cornell.edu/w8/~andru/civs/rp.html > > We could invite participants to submit entries, and use the Condorcet > method (see http://en.wikipedia.org/wiki/Condorcet_method), to allow > each voter to rank all entries in order of preference, in order to > choose the "candidate who would beat each of the other candidates in a > run-off election, if such a candidate exists." This method has the > advantage of eventually choosing a candidate who is most universally > favored by all voters, even if the candidate is not ranked in first > place by any voter, since all voters rank all candidates. The > Concorcet method was recently used in the above-mentioned logo > competition to choose a logo for a certain functional programming > language. > > -- Benjamin L. Russell > > On Wed, 08 Apr 2009 14:21:21 +0200, Daniel Diaz > <Daniel.Diaz@...> wrote: > > >> No logo has been designed (I'm not good for this ;-)). All suggestions >> are welcome ! >> >> Daniel >> >> Benjamin L. Russell a ecrit : >> >>> Is a representative logo available for the Windows version of GNU >>> Prolog 1.3.1? >>> >>> -- Benjamin L. Russell >>> >>> -- Ce message a ete verifie par MailScanner pour des virus ou des polluriels et rien de suspect n'a ete trouve. _______________________________________________ Users-prolog mailing list Users-prolog@... http://lists.gnu.org/mailman/listinfo/users-prolog |
|
|
Re: GNU Prolog 1.3.1 is releasedHi Daniel,
That depends on how much time and work is required, and how difficult that work would be, since I also work a full-time job and am extremely busy on weekends. Who would provide the server and set up the software? Could you please describe the required tasks for "managing proposals + vote" more specifically? -- Benjamin L. Russell On Thu, 09 Apr 2009 13:47:11 +0200, Daniel Diaz <Daniel.Diaz@...> wrote: >Hi Benjamin, > >I'm ok for a nice logo for GNU Prolog. >Would you be a volunteer to manage proposals + vote ? > >Daniel > >Benjamin L. Russell a ecrit : >> How about something similar to one of the following: >> >> PowerLoom? Knowledge Representation & Reasoning System (see the logo): >> http://www.isi.edu/isd/LOOM/PowerLoom/ >> >> The above-mentioned logo is also used on the following Prolog-related >> page: >> >> Prolog-style `append': >> http://www.isi.edu/isd/LOOM/PowerLoom/documentation/examples/append.html >> >> Another alternative is the following jigsaw puzzle logo, used at one >> site for a course in formal logic: >> >> CSC Courses: Formal Logic (see the logo): >> http://www.personal.ceu.hu/comp/logics.htm >> >> (It seems that logos using either some variation of a "P" (for >> "Prolog") or a cluster of four interlocking jigsaw pieces, possibly >> each representing a different Prolog-related theme, similarly to the >> following, would be a possibility: >> >> What Is Critical Thinking?: >> http://www.control-z.com/pgs/what_is_critical_thinking.html >> ) >> >> I think that GNU Prolog needs a logo. Why not hold a logo >> competition, similar to the following recently held for another >> functional programming language: >> >> http://www.haskell.org/logos/poll.html >> >> using the Condorcet Internet Voting Service: >> >> Condorcet Internet Voting Service: >> http://www.cs.cornell.edu/w8/~andru/civs/rp.html >> >> We could invite participants to submit entries, and use the Condorcet >> method (see http://en.wikipedia.org/wiki/Condorcet_method), to allow >> each voter to rank all entries in order of preference, in order to >> choose the "candidate who would beat each of the other candidates in a >> run-off election, if such a candidate exists." This method has the >> advantage of eventually choosing a candidate who is most universally >> favored by all voters, even if the candidate is not ranked in first >> place by any voter, since all voters rank all candidates. The >> Concorcet method was recently used in the above-mentioned logo >> competition to choose a logo for a certain functional programming >> language. >> >> -- Benjamin L. Russell >> >> On Wed, 08 Apr 2009 14:21:21 +0200, Daniel Diaz >> <Daniel.Diaz@...> wrote: >> >> >>> No logo has been designed (I'm not good for this ;-)). All suggestions >>> are welcome ! >>> >>> Daniel >>> >>> Benjamin L. Russell a ecrit : >>> >>>> Is a representative logo available for the Windows version of GNU >>>> Prolog 1.3.1? >>>> >>>> -- Benjamin L. Russell >>>> >>>> Benjamin L. Russell / DekuDekuplex at Yahoo dot com http://dekudekuplex.wordpress.com/ Translator/Interpreter / Mobile: +011 81 80-3603-6725 "Furuike ya, kawazu tobikomu mizu no oto." -- Matsuo Basho^ _______________________________________________ Users-prolog mailing list Users-prolog@... http://lists.gnu.org/mailman/listinfo/users-prolog |
|
|
GNU Prolog LogoPrologians,
> Who would provide the server and set up the software? No promises, but I'm interested enough in participating that I am investigating providing it. > Could you please describe the required tasks for "managing proposals > + vote" more specifically? How about a form that you can upload a proposal which would consist of a set of images, i.e., GIF, PNG, SVG, etc. You would also enter your email address at the top of the form. After clicking 'submit' you would be sent an email message confirming your submission with a hyperlink back to 'approve' it. The server would provide a page of images to click on. Clicking on an image would vote for it, with the same email round trip to confirm the vote and make sure people aren't spamming votes. The Condorcet system looks interesting, and I will follow up with Andrew Myers on the implementation provided by the CS department (I'm in a different department). Joel _______________________________________________ Users-prolog mailing list Users-prolog@... http://lists.gnu.org/mailman/listinfo/users-prolog |
|
|
Re: GNU Prolog LogoHello,
I agree with Benjamin GNU Prolog deserves a nice logo ! Joel thank you for your proposition. I'm obviously interested. Benjamin proposed the Condorcet voting service. I don't know it but it seems to provide what we need. Joel can you investigate this solution (contacting Benjamin who maybe knows it) ? Thank you Daniel Joel Bender a écrit : > Prologians, > > >> Who would provide the server and set up the software? > > No promises, but I'm interested enough in participating that I am > investigating providing it. > >> Could you please describe the required tasks for "managing proposals >> + vote" more specifically? > > How about a form that you can upload a proposal which would consist of > a set of images, i.e., GIF, PNG, SVG, etc. You would also enter your > email address at the top of the form. After clicking 'submit' you > would be sent an email message confirming your submission with a > hyperlink back to 'approve' it. > > The server would provide a page of images to click on. Clicking on an > image would vote for it, with the same email round trip to confirm the > vote and make sure people aren't spamming votes. > > The Condorcet system looks interesting, and I will follow up with > Andrew Myers on the implementation provided by the CS department (I'm > in a different department). > > > Joel _______________________________________________ Users-prolog mailing list Users-prolog@... http://lists.gnu.org/mailman/listinfo/users-prolog |
|
|
Re: GNU Prolog LogoActually, although I have participated in a logo election using the
Condorcet Internet Voting Service, I wasn't responsible for setting it up. However, I would assume that you could probably use it just by following the instructions at the following Web site: Condorcet Internet Voting Service: Create a New Poll http://www.cs.cornell.edu/w8/~andru/civs/civs_create.html For more information, see the following Web site: Condorcet Internet Voting Service http://www.cs.cornell.edu/andru/civs.html -- Benjamin L. Russell On Mon, 13 Apr 2009 10:03:33 +0200, Daniel Diaz <Daniel.Diaz@...> wrote: >Hello, > >I agree with Benjamin GNU Prolog deserves a nice logo ! >Joel thank you for your proposition. I'm obviously interested. Benjamin >proposed the Condorcet voting service. I don't know it but it seems to >provide what we need. Joel can you investigate this solution (contacting >Benjamin who maybe knows it) ? > >Thank you > >Daniel > >Joel Bender a ecrit : >> Prologians, >> >> >>> Who would provide the server and set up the software? >> >> No promises, but I'm interested enough in participating that I am >> investigating providing it. >> >>> Could you please describe the required tasks for "managing proposals >>> + vote" more specifically? >> >> How about a form that you can upload a proposal which would consist of >> a set of images, i.e., GIF, PNG, SVG, etc. You would also enter your >> email address at the top of the form. After clicking 'submit' you >> would be sent an email message confirming your submission with a >> hyperlink back to 'approve' it. >> >> The server would provide a page of images to click on. Clicking on an >> image would vote for it, with the same email round trip to confirm the >> vote and make sure people aren't spamming votes. >> >> The Condorcet system looks interesting, and I will follow up with >> Andrew Myers on the implementation provided by the CS department (I'm >> in a different department). >> >> >> Joel Benjamin L. Russell / DekuDekuplex at Yahoo dot com http://dekudekuplex.wordpress.com/ Translator/Interpreter / Mobile: +011 81 80-3603-6725 "Furuike ya, kawazu tobikomu mizu no oto." -- Matsuo Basho^ _______________________________________________ Users-prolog mailing list Users-prolog@... http://lists.gnu.org/mailman/listinfo/users-prolog |
|
|
Re: GNU Prolog LogoLast night, I thought about a logo for GNU Prolog, and came up with
the following design: 1. Consider the present application logo for GNU Emacs 22.3.1 (see http://upload.wikimedia.org/wikipedia/commons/c/cd/Emacs-icon-48x48.png). 2. Edit the cursive 'E' in the logo, and change it to the 'P' in Zapfino font printed on line 4 of page 10 of the following online paper: "There is no end: Omega and Zapfino" (article on Zapfino which includes comparison of typed text with and without ligatures as a flipbook) http://www.tug.org/TUGboat/Articles/tb24-2/tb77adams.pdf 3. Use this design as the new logo for GNU Prolog. Since I'm not a graphics designer, it would be difficult to use graphics design software to create the desired image. Could somebody on this mailing list who is familiar with graphic design possibly edit and post this logo on this mailing list? I think it could possibly be a good counterpart to the cursive 'E' used in the logo for GNU Emacs. This logo would be useful in symbolizing GNU Prolog, especially on Windows installations, and make the installation seem more professional, especially for Windows users. -- Benjamin L. Russell On Tue, 14 Apr 2009 21:37:53 +0900, Benjamin L. Russell <DekuDekuplex@...> wrote: >Actually, although I have participated in a logo election using the >Condorcet Internet Voting Service, I wasn't responsible for setting it >up. However, I would assume that you could probably use it just by >following the instructions at the following Web site: > >Condorcet Internet Voting Service: Create a New Poll >http://www.cs.cornell.edu/w8/~andru/civs/civs_create.html > >For more information, see the following Web site: > >Condorcet Internet Voting Service >http://www.cs.cornell.edu/andru/civs.html > >-- Benjamin L. Russell > >On Mon, 13 Apr 2009 10:03:33 +0200, Daniel Diaz ><Daniel.Diaz@...> wrote: > >>Hello, >> >>I agree with Benjamin GNU Prolog deserves a nice logo ! >>Joel thank you for your proposition. I'm obviously interested. Benjamin >>proposed the Condorcet voting service. I don't know it but it seems to >>provide what we need. Joel can you investigate this solution (contacting >>Benjamin who maybe knows it) ? >> >>Thank you >> >>Daniel >> >>Joel Bender a ecrit : >>> Prologians, >>> >>> >>>> Who would provide the server and set up the software? >>> >>> No promises, but I'm interested enough in participating that I am >>> investigating providing it. >>> >>>> Could you please describe the required tasks for "managing proposals >>>> + vote" more specifically? >>> >>> How about a form that you can upload a proposal which would consist of >>> a set of images, i.e., GIF, PNG, SVG, etc. You would also enter your >>> email address at the top of the form. After clicking 'submit' you >>> would be sent an email message confirming your submission with a >>> hyperlink back to 'approve' it. >>> >>> The server would provide a page of images to click on. Clicking on an >>> image would vote for it, with the same email round trip to confirm the >>> vote and make sure people aren't spamming votes. >>> >>> The Condorcet system looks interesting, and I will follow up with >>> Andrew Myers on the implementation provided by the CS department (I'm >>> in a different department). >>> >>> >>> Joel Benjamin L. Russell / DekuDekuplex at Yahoo dot com http://dekudekuplex.wordpress.com/ Translator/Interpreter / Mobile: +011 81 80-3603-6725 "Furuike ya, kawazu tobikomu mizu no oto." -- Matsuo Basho^ _______________________________________________ Users-prolog mailing list Users-prolog@... http://lists.gnu.org/mailman/listinfo/users-prolog |
|
|
Re: GNU Prolog LogoBenjamin,
thank you for your effort. I'm afraid this logo will be too close to emacs logo and thus confusing. Anyway, it would be nice if someone can "implement" it to see. Any volunteer ? Daniel Benjamin L. Russell a écrit : > Last night, I thought about a logo for GNU Prolog, and came up with > the following design: > > 1. Consider the present application logo for GNU Emacs 22.3.1 (see > http://upload.wikimedia.org/wikipedia/commons/c/cd/Emacs-icon-48x48.png). > > 2. Edit the cursive 'E' in the logo, and change it to the 'P' in > Zapfino font printed on line 4 of page 10 of the following online > paper: > > "There is no end: Omega and Zapfino" (article on Zapfino which > includes comparison of typed text with and without ligatures as a > flipbook) > http://www.tug.org/TUGboat/Articles/tb24-2/tb77adams.pdf > > 3. Use this design as the new logo for GNU Prolog. > > Since I'm not a graphics designer, it would be difficult to use > graphics design software to create the desired image. > > Could somebody on this mailing list who is familiar with graphic > design possibly edit and post this logo on this mailing list? I think > it could possibly be a good counterpart to the cursive 'E' used in the > logo for GNU Emacs. This logo would be useful in symbolizing GNU > Prolog, especially on Windows installations, and make the installation > seem more professional, especially for Windows users. > > -- Benjamin L. Russell > > On Tue, 14 Apr 2009 21:37:53 +0900, Benjamin L. Russell > <DekuDekuplex@...> wrote: > > >> Actually, although I have participated in a logo election using the >> Condorcet Internet Voting Service, I wasn't responsible for setting it >> up. However, I would assume that you could probably use it just by >> following the instructions at the following Web site: >> >> Condorcet Internet Voting Service: Create a New Poll >> http://www.cs.cornell.edu/w8/~andru/civs/civs_create.html >> >> For more information, see the following Web site: >> >> Condorcet Internet Voting Service >> http://www.cs.cornell.edu/andru/civs.html >> >> -- Benjamin L. Russell >> >> On Mon, 13 Apr 2009 10:03:33 +0200, Daniel Diaz >> <Daniel.Diaz@...> wrote: >> >> >>> Hello, >>> >>> I agree with Benjamin GNU Prolog deserves a nice logo ! >>> Joel thank you for your proposition. I'm obviously interested. Benjamin >>> proposed the Condorcet voting service. I don't know it but it seems to >>> provide what we need. Joel can you investigate this solution (contacting >>> Benjamin who maybe knows it) ? >>> >>> Thank you >>> >>> Daniel >>> >>> Joel Bender a ecrit : >>> >>>> Prologians, >>>> >>>> >>>> >>>>> Who would provide the server and set up the software? >>>>> >>>> No promises, but I'm interested enough in participating that I am >>>> investigating providing it. >>>> >>>> >>>>> Could you please describe the required tasks for "managing proposals >>>>> + vote" more specifically? >>>>> >>>> How about a form that you can upload a proposal which would consist of >>>> a set of images, i.e., GIF, PNG, SVG, etc. You would also enter your >>>> email address at the top of the form. After clicking 'submit' you >>>> would be sent an email message confirming your submission with a >>>> hyperlink back to 'approve' it. >>>> >>>> The server would provide a page of images to click on. Clicking on an >>>> image would vote for it, with the same email round trip to confirm the >>>> vote and make sure people aren't spamming votes. >>>> >>>> The Condorcet system looks interesting, and I will follow up with >>>> Andrew Myers on the implementation provided by the CS department (I'm >>>> in a different department). >>>> >>>> >>>> Joel >>>> -- Ce message a ete verifie par MailScanner pour des virus ou des polluriels et rien de suspect n'a ete trouve. _______________________________________________ Users-prolog mailing list Users-prolog@... http://lists.gnu.org/mailman/listinfo/users-prolog |
| Free embeddable forum powered by Nabble | Forum Help |