<div class="notebook"> <div class="nb-cell markdown" name="md1"> # LTC2017 examples and excercises This notebook combines notebooks and programs for the [LTC 2017 PoznaĆ, Poland](http://ltc.amu.edu.pl/) tutorial on Prolog in the honour of Alain Colmerauer, Pionieer of logic programming in NLP. ## Exercises - [ltc_family](ltc_family.swinb) Define family relations using the Greek gods as fact base. - [Einstein's riddle](example/houses_puzzle.pl) The Zebra puzzle - [Map coloring](ltc_mapcolor.swinb) Color countries in a map ## Other notebooks - [Introducing DCGs](example/grammar.pl) - [London underground](ltc_underground.swinb) exploring the London underground connections using SLD resolution. - [Fibonacci numbers](ltc_fibonacci.swinb) use tabling to avoid recomputation. - [SEND+MORE=MONEY](ltc_send_more_money.swinb) use constraints to reduce search - [Lazy lists](ltc_lazy_list.swinb) introduce lazy lists to process infinite input sequences. - [RDF topic map](http://linkedpolitics.d2s.labs.vu.nl/swish/p/LEbqVgfm.swinb) compute a map of related topics from the European parliament linked data - [Load and process HTML](ltc_html.swinb) - [Access R](example/Rdownload.swinb) Create and download R graphics ## Programs - [Greek gods](greek_gods.pl) </div> </div>