GNU Prolog 1.3.1 is released

View: New views
11 Messages — Rating Filter:   Alert me  

GNU Prolog 1.3.1 is released

by Daniel Diaz-3 :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

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)

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 released

by Benjamin L.Russell :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

On 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 released

by Daniel Diaz-3 :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

No 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 released

by Benjamin L.Russell :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

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

Re: GNU Prolog 1.3.1 is released

by Daniel Diaz-3 :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

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 é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 released

by Benjamin L.Russell :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

Hi 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 Logo

by Joel Bender :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

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 Logo

by Daniel Diaz-3 :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

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 é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 Logo

by Benjamin L.Russell :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

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 Logo

by Benjamin L.Russell :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

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
--
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 Logo

by Daniel Diaz-3 :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

Benjamin,

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