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_udesc.br> 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_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 > *********************************************************************** >Received on Thu Dec 31 2015 - 01:29:25 CET
This archive was generated by hypermail 2.2.0 : Thu Dec 31 2015 - 06:13:22 CET