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 Fri Jan 30 2015 - 13:08:50 CET
This archive was generated by hypermail 2.3.0 : Wed Sep 25 2024 - 15:13:21 CEST