Re: [eclipse-clp-users] Suggestion for a workshop content

Sergi


Congratulations ... I saw the link, it's seems a great event.
For your presentation, some suggestions:

1. Start for a quick comparision between functional and logic paradigms
show some small examples in Haskell (everybody knows it) and Prolog.

For example:

Code in Haskell

length [] = 0

length (head:tail) = 1 + length tail


In Prolog:

length([], 0).

length( [Head| Tail], N) :-  length(Tail, Naux),    N is (Naux - 1).


and so on,..., some trick examples for syntax  familiarization.


2. The loops structures as you mentioned, and constraints (relations,
simmetries,
    ... reifed constraints, sliding constraints, regular constraints, etc)
   Try to show some  principles from CP that are not  directly embeded in
Functional Programming.


3. One example Cripto-example, as you mentioned, aiming the structure
models in Eclipse.

4. Finally, a "killer example' such  stable marriage ... from Hakank
  http://www.hakank.org/eclipse/stable_marriage.ecl

or

http://www.hakank.org/eclipse/warehouse.ecl


that's my contribution


claudio






2015-01-27 6:13 GMT-02:00 Sergii Dymchenko <kit1980_at_gmail.com>:

> Hello,
>
> I will be running "Introduction to constraint logic programming" workshop
> at LambdaConf http://www.degoesconsulting.com/lambdaconf-2015/ (May
> 22-24, Boulder CO).
>
> This is a non-academic conference mostly about functional programming, not
> logic programming, so I assume that most people there will not be very
> familiar with Prolog.
>
> I will use ECLiPSe for the workshop, probably  the ic library only.
>
> The workshop duration is 2 hours. Currently I don't have an estimate how
> many people will participate; my wild guess is 20.
>
> I plan to give very brief and narrow Prolog introduction, explain ECLiPSe
> loops, give some motivation for constraint programming vs Prolog, give one
> or two very simple examples (like cryptarithmetic puzzles). Then I want to
> ask the audience to model and solve (with my one-on-one help) either a
> variant of the problem I explained, or some new simple problem that don't
> have an ECLiPSe solution available on the Internet (
> http://www.hakank.org/eclipse/). After that there should be some time to
> present my "reference solution" to the problem.
>
> My teaching experience is very limited.
> Do you think the plan I described is feasible given the time constraints
> and the audience? Any suggestions for the problems to use? Any other
> suggestions?
>
> -Sergii.
>
>
>
> ------------------------------------------------------------------------------
> Dive into the World of Parallel Programming. The Go Parallel Website,
> sponsored by Intel and developed in partnership with Slashdot Media, is
> your
> hub for all things parallel software development, from weekly thought
> leadership blogs to news, videos, case studies, tutorials and more. Take a
> look and join the conversation now. http://goparallel.sourceforge.net/
> _______________________________________________
> ECLiPSe-CLP-Users mailing list
> ECLiPSe-CLP-Users_at_lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users
>
>


-- 

Obrigado

claudio
    (
    ))
   |""|-.
   |__|-'


**********************************************************************
WeChat: ccs1664
http://github.com/claudiosa
http://www.joinville.udesc.br/coca
***********************************************************************