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

From: Sergii Dymchenko <kit1980_at_...6...>
Date: Wed, 30 Dec 2015 17:29:17 -0800
Workshop's video has been published: LambdaConf 2015 - Introduction to
Constraint Logic Programming with ECLiPSe -
https://www.youtube.com/watch?v=84amHOgCEe8

-Sergii.

On Fri, Jan 30, 2015 at 4:39 AM, Claudio Cesar de Sá <claudio.sa_at_...362...7...>
wrote:

> 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_...6...>:
>
>> 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
> ***********************************************************************
>
Received on Thu Dec 31 2015 - 01:29:25 CET

This archive was generated by hypermail 2.3.0 : Thu Feb 22 2024 - 18:13:20 CET