'classes 04'

04_Prolog/ex1-family-tree/ex1.md

@@ -0,0 +1,13 @@
+1. Convert the file 'family-tree.txt' to Prolog Facts (format understandable for Prolog) in any language you like.
+
+The file has 4 columns: name, surname, pesel, parent's pesel
+
+2. Prepare the script, load it to Prolog and find out who are the parents of:
+
+	Haley, Vargas, 1268649062, 1897283424
+
+3. Check if the Darwin laws are in place by checking if Haley Vargas is the ancestor of an ape.
+
+4. Write in any language (in any other programming paradigm except the logic programming languages), a code which will do the same as here in Prolog. Choose the programming language wisely (2. and 3.).
+
+5. Check if the creationist theory is correct by checking if all people come from apes (in Prolog).

04_Prolog/ex2-roads/ex2.md

@@ -0,0 +1,8 @@
+Parse the file Zarzadzenie_GD_nr_32_z_dnia_2022-12-27.pdf by extracting the connections between the cities (e.g. copy&paste from pdf, pinch of regex, mix for a few minutes). Create facts for Prolog and do the exercises:
+
+1. Find any path from Suwałki to Jelenia Góra
+
+2. Find all paths between Szczecin and Przemyśl and find the shortest one
+
+
+Tips: If someone is having problems with cleaning the data one can use the file roads.txt. The file still need to be converted into a Prolog file, but at least now it is straightforward. Every road consists of cities separated by '-'. If the road is long then it might take multiple lines, but any next road is separated at least by one empty line.

04_Prolog/ex2-roads/roads.txt

@@ -0,0 +1,366 @@
+PRUSZCZGDANSKI-GRUDZIĄDZ-TORUN-WŁOCŁAWEK-ŁÓDŹ-PIOTRKÓWTRYBUNALSKI-CZĘSTOCHOWA-PYRZOWICE-PIEKARYŚLĄSKIE-BYTOM-GLIWICE-ŻORY-GORZYCZKI
+
+PYRZOWICE-PODWARPIE-DĄBROWAGÓRNICZA-TYCHY-BIELSKO-BIAŁA-ŻYWIEC-LALIKI-ZWARDOŃ-
+
+-SWIECKO-RZEPIN-POZNAN-KONIN-ŁÓDZ-WARSZAWA-MINSKMAZOWIECKI-SIEDLCE-TERESPOL-
+
+SWINOUJŚCIE-SZCZECIN-GOLENIÓW-GORZÓWWIELKOPOLSKI-ZIELONAGORA-LUBIN-LEGNICA-BOLKÓW-JELENIAGÓRA-JAKUSZYCE-
+
+-JĘDRZYCHOWICE-ZGORZELEC-KRZYŻOWA-WROCŁAW-PRĄDY-NOGOWCZYCE-GLIWICE-KATOWICE-CHRZANÓW-KRAKÓW-TARNÓW-DĘBICA-RZESZÓW-JAROSŁAW-RADYMNO-KORCZOWA-
+
+NOWEMARZY-ŚWIECIE-BYDGOSZCZ-GNIEZNO-POZNAŃ-LESZNO-WROCŁAW-KOSTOMŁOTY-DOBROMIERZ-BOLKÓW-KAMIENNAGÓRA-LUBAWKA-
+
+OSTRÓDA-WIRWAJDY
+
+-KOŁBASKOWO-SZCZECIN-GOLENIÓW-PŁOTY-KOŁOBRZEG-KOSZALIN-KARWICE-SŁUPSK-LĘBORK-SZEMUD-GDYNIA-GDAŃSK-STRASZYN-ŁĘGOWO
+
+GDYNIA-ŻUKOWO-GDAŃSK-ELBLĄG-OSTRÓDA-OLSZTYNEK-PŁOŃSK-WARSZAWA-JANKI-GRÓJEC-RADOM-KIELCE-KRAKÓW-MYŚLENICE-RABKAZDRÓJ-CHYŻNE-
+
+WARSZAWA-LESZNOWOLA
+
+TARCZYN-TARCZYN 
+
+KRAKÓW-NOWAHUTA-KRAKÓW
+
+-KUDOWA-ZDROJ-KŁODZKO-ZĄBKOWICESLĄSKIE-WROCŁAW-OLEŚNICA-SYCÓW-KĘPNO-ZŁOCZEW-SIERADZ-ŁÓDŹ-PIOTRKÓWTRYBUNALSKI-RAWAMAZOWIECKA-WARSZAWA-RADZYMIN-WYSZKÓW-OSTRÓWMAZOWIECKA-ZAMBRÓW-BIAŁYSTOK-KORYCIN-AUGUSTÓW-RACZKI
+
+RADOM-IŁŻA-OSTROWIECŚWIĘTOKRZYSKI-OPATÓW-LIPNIK-KLIMONTÓW-ŁONIÓW-NAGNAJÓW-KOLBUSZOWA-GŁOGÓWMAŁOPOLSKI-RZESZÓW
+
+
+
+-LUBIESZYN-SZCZECIN-STARGARD-WAŁCZ-PIŁA-PAWŁÓWEK-BIAŁEBŁOTA-WYPALENISKA-PRZYŁUBIE-TORUŃ-LIPNO-SIERPC-DROBIN-PŁOŃSK
+
+
+
+KOŁOBRZEG-KOSZALIN-BOBOLICE-SZCZECINEK-PODGAJE-PIŁA-UJŚCIE-CHODZIEŻ-OBORNIKI-POZNAŃ-KÓRNIK-JAROCIN-PLESZEW-OSTRÓWWIELKOPOLSKI-OSTRZESZÓW-KĘPNO-KLUCZBORK-LUBLINIEC-TWORÓG-BYTOM
+
+
+
+-ŁĘKNICA-ŻARY-ŻAGAŃ-SZPROTAWA-PRZEMKÓW-RADWANICE-DROŻÓW- GŁOGÓW-SZLICHTYNGOWA-WSCHOWA-LESZNO-GOSTYŃ-JAROCIN-PLESZEW-KALISZ-BŁASZKI-SIERADZ-ŁASK-RZGÓW-PIOTRKÓWTRYBUNALSKI-SULEJÓW-OPOCZNO-PRZYSUCHA-RADOM-ZWOLEŃ-PUŁAWY-KURÓW-LUBLIN-PIASKI-CHEŁM-DOROHUSK-
+
+
+
+SZCZECIN-PRZECŁAW-ROSOWEK-
+
+
+
+ŁOWICZ-STRYKÓW-ŁÓDŹ-LUBLINEK-DOBRON-RÓŻA
+
+ŁÓDŹ-LUBLINEK
+
+
+
+TRZEBNICA-MILICZ-KROTOSZYN-JAROCIN-MIĄSKOWO-MIŁOSŁAW-WRZEŚNIA-GNIEZNO-TRZEMESZNO-WYLATOWO-STRZELNO-INOWROCŁAW-TORUŃ-BRODNICA-LUBAWA-OSTRÓDA
+
+
+
+GRUDZIĄDZ-IŁAWA-WIRWAJDY-OSTRÓDA-OLSZTYN-MRĄGOWO-EŁK-AUGUSTÓW-POMORZE-POĆKUNY-OGRODNIKI-
+
+
+
+WARSZAWA-GARWOLIN-RYKI-KURÓW-LUBLIN-PIASKI-KRASNYSTAW-ZAMOŚĆ-TOMASZÓWLUBELSKI-HREBENNE-
+
+
+-OLSZYNA-GOLNICE-KRZYŻOWA
+
+
+
+-KUŹNICA-BIAŁYSTOK-SIEMIATYCZE-MIĘDZYRZECPODLASKI-KOCK-LUBARTÓW-LUBLIN-KRAŚNIK-JANÓWLUBELSKI-NISKO-SOKOŁÓWMAŁOPOLSKI-RZESZÓW-BABICA-LUTCZA-DOMARADZ-MIEJSCEPIASTOWE-DUKLA-BARWINEK-
+
+ŚWILCZAŚWILCZA-KIELANÓWKA-RZESZÓW
+
+
+
+STARGARDSTARGARD-CHOCIWEL-WĘGORZYNO-DRAWSKOPOMORSKIE-CZAPLINEK-SZCZECINEK-BIAŁYBÓR-MIASTKO-BYTÓW-KOŚCIERZYNA-ŻUKOWO-CHWASZCZYNO
+
+
+
+MIASTKO-SUCHORZE-SŁUPSK-USTKA
+
+
+
+-KOSTRZYN-WAŁDOWICE-GORZÓWWIELKOPOLSKI-WAŁCZ-CZŁUCHÓW-CHOJNICE-STAROGARDGDAŃSKI-CZARLIN-MALBORK-STAREPOLE-ELBLĄG-CHRUŚCIEL-GRZECHOTKI-
+
+
+
+MYSLIBORZ-DĘBNO-SARBINOWO
+
+
+
+PNIEWY-GORZYN-SKWIERZYNA-WAŁDOWICE
+
+
+
+BOBOLICE-BIAŁYBÓR-CZŁUCHÓW-SĘPÓLNOKRAJEŃSKIE-KORONOWO-BYDGOSZCZ-OPŁAWIEC-BYDGOSZCZ-INOWROCŁAW-STRZELNO-ŚLESIN-KONIN-KALISZ-OSTRÓWWIELKOPOLSKI-ANTONIN-OLEŚNICA
+
+
+
+
+-KRAJNIKDOLNY-CHOJNA-MYŚLIBÓRZ-MYSLIBORZ
+
+
+
+-PRZEWÓZ-ŻARY-ZIELONAGÓRA
+
+
+
+ZATOR-WADOWICE-RABKAZDRÓJ-LIMANOWA-NOWYSĄCZ-GORLICE-JASŁO-KROSNO-SANOK-KUŹMINA-BIRCZA-PRZEMYŚL-MEDYKA-
+
+
+
+-SŁUBICE-KROSNOODRZAŃSKIE 
+
+
+
+ZGORZELEC-LUBAN-GRYFÓWSLĄSKI-PASIECZNIK-JELENIAGÓRA
+
+
+
+SZCZECIN-GRYFINO-CHOJNA-SARBINOWO-KOSTRZYN-SŁUBICE
+
+
+
+-GUBINEK-POŁUPIN-ZIELONAGÓRA-SULECHÓW-WOLSZTYN-STĘSZEW
+
+
+
+KŁODZKO-MIĘDZYLESIE-BOBOSZÓW-
+
+
+
+SWIEBODZICE-DOBROMIERZ
+
+
+
+-GOLINSK-MIEROSZÓW-WAŁBRZYCH-SWIEBODZICE-SWIDNICA-BIELANYWROCŁAWSKIE
+
+
+
+PROCHOWICE-LUBIN-ŚCINAWA-WIŃSKO-ZAŁĘCZE-RAWICZ-KROTOSZYN-OSTRÓWWIELKOPOLSKI
+
+
+
+DARŁOWO-KARWICE
+
+
+
+-PIETROWICE-GŁUBCZYCE-RENSKAWIES
+
+
+
+ŁAGIEWNIKI-STRZELIN-BIEDRZYCHÓW-OWCZARY-BRZEG-NAMYSŁÓW-BARANÓW
+
+
+
+-GŁUCHOŁAZY-PRUDNIK-KĘDZIERZYN-KOŹLE-PYSKOWICE
+
+
+
+NYSA-PRUDNIK-TRZEBINA-
+
+
+
+NAMYSŁÓW-KLUCZBORK-PRASZKA-RUDNIKI-DZIAŁOSZYN-PAJĘCZNO-NOWABRZEŹNICA-RADOMSKO-PRZEDBÓRZ-RUDAMALENIECKA-KOŃSKIE-SKARŻYSKOKAMIENNA-RUDNIK
+
+
+
+WIELUN -RUDNIKI-KŁOBUCK-CZĘSTOCHOWA
+
+
+
+GLIWICE-MIKOŁÓW-TYCHY-OŚWIĘCIM-ZATOR-SKAWINA-KRAKÓW
+
+
+
+ZABEŁKÓW-KRZYŻANOWICE-RACIBÓRZ-KRAPKOWICE-OPOLE-KLUCZBORK-PRASZKA-WIELUŃ-ZŁOCZEW
+
+
+
+KŁODZKO-NYSA-OPOLE-OZIMEK-LUBLINIEC-BLACHOWNIA-CZĘSTOCHOWA-JANÓW-SZCZEKOCINY
+
+
+
+ ZABORNIA-RABKAZDRÓJ-NOWYTARG-ZAKOPANE
+
+
+
+TOMASZÓWMAZOWIECKI-INOWŁÓDZ-POTWORÓW-BIAŁOBRZEGI-GŁOWACZÓW-KOZIENICE-DĘBLIN-MOSZCZANKA-KOCK
+
+
+
+NOWYTARG-CZARNAGORA-JURGÓW-
+
+
+
+CIECHANÓW-PŁOŃSK-WYSZOGRÓD-SOCHACZEW-MSZCZONÓW-GRÓJEC-GÓRAKALWARIAKOŁBIEL-MIŃSKMAZOWIECKI-ŁOCHÓW-OSTRÓWMAZOWIECKA
+
+
+
+-BEZLEDY-BARTOSZYCE-LIDZBARKWARMIŃSKI-DOBREMIASTO-OLSZTYN-OLSZTYNEK
+
+
+
+-CIESZYN-BIELSKO-BIAŁA-KĘTY-WADOWICE-GŁOGOCZÓW-KRAKÓW-MODLNICZKA
+
+
+
+OLSZTYN-SZCZYTNO-ROZOGI-MYSZYNIEC-OSTROŁĘKA
+
+
+
+CHRUŚCIEL-BRANIEWO-GRONOWO-
+
+
+
+-MALBORK-KWIDZYN-GRUDZIĄDZ-STOLNO
+
+
+
+KORONOWO-TRZECIEWIEC
+
+
+
+BARTOSZYCE-BISKUPIEC-SZCZYTNO-PRZASNYSZ-MAKÓWMAZOWIECKI-PUŁTUSK
+
+
+
+OLSZTYNEK-ZGNIŁOCHA-JEDWABNO-SZCZYTNO-BABIĘTA-RUCIANENIDA-PISZ-BIAŁAPISKA-SZCZUCZYN
+
+
+
+GIŻYCKO-RYN-MRĄGOWO-NAWIADY-ROZOGI
+
+
+
+TOPOLAKRÓLEWSKA-KUTNO-GOSTYNIN-PŁOCK-DROBIN-GLINOJECK-CIECHANÓW-MAKÓWMAZOWIECKI-RÓŻAN-OSTRÓWMAZOWIECKA
+
+
+
+WARSZAWA-JABŁONNA-LEGIONOWO-SEROCK-RÓŻAN-OSTROŁĘKA-ŁOMŻA-SZCZUCZYN-EŁK-RACZKI-SUWAŁKI-BUDZISKO-
+
+ŚNIADOWO-ŁOMŻA 
+
+
+
+STRZELNO-KOBYLNIKI-RADZIEJÓW-BRZEŚĆKUJAWSKI-WŁOCŁAWEK-NOWYDUNINÓW-PŁOCK-WYSZOGRÓD-NOWYDWÓRMAZOWIECKI-POMIECHÓWEK-SEROCK-WIERZBICA-WYSZKÓW-ŁOCHÓW-WĘGRÓW-SOKOŁÓWPODLASKI-DROHICZYN-SIEMIATYCZE
+
+
+
+-WĘGORZEWO-GIŻYCKO-PISZ-KISIELNICA-ŁOMŻA-ZAMBRÓW-CERANÓW-SOKOŁÓWPODLASKI-SIEDLCE-ŁUKÓW-RADZYŃPODLASKI-WISZNICE-SŁAWATYCZE-
+
+ŁOMŻA-PIĄTNICAPODUCHOWNA-WIZNA-JEŻEWOSTARE
+
+
+
+-GOŁDAP-OLECKO-EŁK-GRAJEWO-MONKI-BIAŁYSTOK-BOBROWNIKI-
+
+
+
+ZAMBRÓW-ZAMBRÓW-WYSOKIEMAZOWIECKIE-BRAŃSK-BIELSKPODLASKI-KLESZCZELE-CZEREMCHA-POŁOWCE-
+
+
+
+LIPNO-WŁOCŁAWEK
+
+
+
+-KUKURYKI-WOLKADOBRYNSKAJ
+
+
+
+ŁOWICZ-SKIERNIEWICE-HUTAZAWADZKA
+
+
+
+STRYKÓW-ZGIERZ-ALEKSANDRÓWŁÓDZKI
+
+
+
+KONIN-TUREK-UNIEJÓW-BALIN-ŁODŹ-BRZEZINY-RAWAMAZOWIECKA
+
+
+
+WIŚNIÓWKA-KIELCE-MORAWICA-BUSKO-ZDRÓJ-SZCZUCIN-DĄBROWATARNOWSKA-TARNÓW-PILZNO-JASŁO
+
+
+
+WIELUŃ-WIELUŃ-BEŁCHATÓW-PIOTRKÓWTRYBUNALSKI-SULEJÓW-ŻARNÓW-RUDAMALENIECKA-KIELCE-ŁAGÓW-OPATÓW-OŻARÓW-ANNOPOL-KRAŚNIK-JANÓWLUBELSKI-FRAMPOL-GORAJEC-SZCZEBRZESZYN-ZAMOŚĆ-HRUBIESZÓW-ZOSIN-
+
+
+
+KRAKÓW-NIEPOŁOMICE-TARGOWISKO-BRZESKO-NOWYSĄCZ-KRZYŻÓWKA-TYLICZ-MUSZYNKA-
+
+
+
+WILGA-GARWOLIN-STOCZEKŁUKOWSKI-ŁUKÓW
+
+
+
+LIPNIK-SANDOMIERZ-STALOWAWOLA-LEŻAJSK-TRYNCZA-JAROSŁAW-RADYMNO-PRZEMYŚL
+
+
+
+-CHAŁUPKI-WODZISŁAWŚLĄSKI-RYBNIK-GLIWICE-TARNOWSKIEGÓRY-ŚWIERKLANIEC-SIEWIERZ-ZAWIERCIE-SZCZEKOCINY-NAGŁOWICE-JĘDRZEJÓW-CHMIELNIK
+
+
+
+WARSZAWA-GORAKALWARIA-KOZIENICE-ZWOLEŃ-SANDOMIERZ-POŁANIEC-NOWEBRZESKO-KRAKÓW-TRZEBINIA-CHRZANÓW-JAWORZNO-KATOWICE-CHORZÓW-BYTOM
+
+
+
+
+PAWŁOWEK-BYDGOSZCZ-TORUN-LUBICZ
+
+
+
+KATOWICE-MIKOŁÓW-ŻORY-SKOCZÓW
+
+
+
+LUBLINTATARY-CYCÓW-WŁODAWA-
+
+
+
+TUREK-DOBRA-SIERADZ
+
+
+
+SANOK-LESKO-USTRZYKIDOLNE-KROSCIENKO-
+
+
+
+NOWYDWÓRMAZOWIECKI-KAZUN
+
+
+
+PODWARPIEPODWARPIE-WOJKOWICEKOŚCIELNE-BĘDZIN-SOSNOWIEC-KATOWICE-TYCHY
+
+
+
+NOWYSĄCZ-STARYSĄCZ-PIWNICZNAZDRÓJ-
+
+
+
+STRZELCEOPOLSKIE-WĘZEŁKLESZCZÓW-GLIWICE-BYTOM
+
+
+
+
+
+
+JELEN-BALDRAM
+
+
+
+GDANSKPORT-TCZEW-SWIECIE-TORUN-WŁOCŁAWEK-KOWAL-KROŚNIEWICE-ŁÓDZ-PIOTRKÓWTRYBUNALSKI-KAMIEŃSK-RADOMSKO-KŁOMNICE-CZĘSTOCHOWA-KOZIEGŁOWY
+
+SIEWIERZ-PODWARPIE
+
+
+RZEPIN-SWIEBODZIN-PNIEWY-POZNAN-WRZESNIA-SŁUPCA-GOLINA-KONIN-KUTNO-ŁOWICZ-SOCHACZEW-WARSZAWA-ZAKRĘT-MIŃSKMAZOWIECKI-KAŁUSZYN
+
+
+
+
+
+ZGORZELEC-BOLESŁAWIEC-KRZYWA-CHOJNÓW-LEGNICA-PROCHOWICE-WROCŁAW-BRZEG-OPOLE-STRZELCEOPOLSKIE-TOSZEK-PYSKOWICE-BYTOM-BĘDZIN-SOSNOWIEC-DĄBROWAGÓRNICZA-OLKUSZ-MODLNICZKA--KRAKÓW-WIELICZKA-TARNÓW-RZESZÓW-JAROSŁAW-RADYMNO-KORCZOWA-

04_Prolog/in_class/ex1.pl

@@ -0,0 +1,34 @@
+:- discontiguous male/1, female/1, parent/2.
+male(dicky).
+male(randy).
+male(mike).
+male(don).
+male(elmer).
+female(anne).
+female(rosie).
+female(esther).
+female(mildred).
+female(greatgramma).
+male(blair).
+
+parent(don,randy).
+parent(don,mike).
+parent(don,anne).
+parent(rosie,randy).
+parent(rosie,mike).
+parent(rosie,anne).
+parent(elmer,don).
+parent(mildred,don).
+parent(esther,rosie).
+parent(esther,dicky).
+parent(greatgramma,esther).
+parent(randy,blair).
+parent(mike,juliet).
+
+male(mel).
+male(teo).
+parent(melsr,mel).
+parent(melsr,teo).
+
+% father, mother, son, dauther, uncle, aunt, grandmother, grandfather, sister, brother, cousin, ancestor
+father(X,Y) :- male(X),parent(X,Y).

04_Prolog/in_class/fac.pl

@@ -0,0 +1,7 @@
+fac(0,1).
+fac(1,1).
+fac(2,2).
+fac(3,6).
+fac(4,24).
+%compute factorial of a number X fac(X, Y)
+%fac(A,B) :- ?????