Re: Algorithm transformation

On Sat, 07 Jan 2006 13:05:37 +0100, tmp123 <tmp123@xxxxxxxxx> wrote:

Hello,

I'm wondering if there a methodological way to solve the following kind
of problems. I'm going to give an example:

The start could be the set of logical rules that defines whatis/how to
add an integer in a list and the rules to decide if a list is sorted
(sorry if the syntax is prolog like, but it is the programming language
I use usually):

#addition in a list

#check is a sorted list 

The rules must match some quality criterias. An example of correct
answer is:


Please, has someone references about? Probably is something well known,
but it is far from my usual working area.

I'm not very fluent in Prolog, but the whole problem more or less make me think about A. Liu's incrementalization. Google might help you to find the corresponding web page and original paper...




--
Hypocoristiquement,
Jym.
.

Relevant Pages

  • Re: Too Much Caffeine
    ... What I'm talking about it beyond that -- it's a programming language ... Google was a major step ... use the advanced search capabilities; ... a keyboard attached to their VCR. ...
    (comp.lang.lisp)
  • Re: Websites 101
    ... > I am presently attempting my first commercial site and was hoping I ... Google Groups, and search the archive of this group, for example ... PHP is, uhm, a very bad designed programming language which has its ... Altough learning a programming language takes a lot of time, ...
    (alt.internet.search-engines)
  • pyGoogle is fun and easy to use, and thinks Python is the best programming language
    ... I am having a lot of fun using the pyGoogle module ( ... http://pygoogle.sourceforge.net/) that uses the Google API. ... My online CGI program Ask Merlin at www.awaretek.com/askmerlin.html is ... best programming language" Merlin wisely picks Python from the list. ...
    (comp.lang.python)
  • [Ann] Programming language research engine (PLRE.org)
    ... The engine searches citeseer, and the home pages of various languages ... Google CS curriculum search, the Google Scholar search, or the Google ... resources for programming language theory. ...
    (comp.theory)
  • Re: What is the best book on MySql?
    ... > Google is the best book. ... The last time I bought a book to learn a ... > programming language was more than eight years ago because my ... The source materials and manuals are overwhelming and it is difficult ...
    (comp.lang.php)