Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:prolog:prolog_lab:prolog_lab_system [2008/11/19 08:36] ikaf |
pl:prolog:prolog_lab:prolog_lab_system [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 26: | Linia 26: | ||
| swipl -s $1 -g $2 -t halt | swipl -s $1 -g $2 -t halt | ||
| - | wtedy można go uruchomić poleceniem | + | wtedy można go uruchomić poleceniem |
| ./nazwa_skryptu program.pl go | ./nazwa_skryptu program.pl go | ||
| * ciekawsze jest stworzenie skryptu Prologowego | * ciekawsze jest stworzenie skryptu Prologowego | ||
| - | #!/usr/bin/swipl -q -t go -f | + | #!/usr/bin/swipl -q -t go -s |
| tresc programu w prologu | tresc programu w prologu | ||
| Linia 40: | Linia 40: | ||
| Więcej można przeczytać na: | Więcej można przeczytać na: | ||
| - | * [[http://gollem.science.uva.nl/SWI-Prolog/Manual/initgoal.html|Initialisation files and goals]] | + | * [[http://www.swi-prolog.org/pldoc/doc_for?object=section%282%2c%20%272.3%27%2c%20swi%28%27%2fdoc%2fManual%2finitgoal.html%27%29%29|Initialisation files and goals]] |
| - | * [[http://gollem.science.uva.nl/SWI-Prolog/Manual/compilation.html|Compilation]] | + | * [[http://www.swi-prolog.org/pldoc/doc_for?object=section%282%2c%20%272.10%27%2c%20swi%28%27%2fdoc%2fManual%2fcompilation.html%27%29%29|Compilation]] |
| - | * [[http://gollem.science.uva.nl/SWI-Prolog/Manual/runtime.html|Generating Runtime Applications]] | + | * [[http://www.swi-prolog.org/pldoc/doc_for?object=section%281%2c%20%2710%27%2c%20swi%28%27%2fdoc%2fManual%2fruntime.html%27%29%29|Generating Runtime Applications]] |
| ==== - Temat: Potoki i przekierowanie we/wy ==== | ==== - Temat: Potoki i przekierowanie we/wy ==== | ||
| Linia 66: | Linia 66: | ||
| === Potoki w Prologu === | === Potoki w Prologu === | ||
| - | Do utworzenia potoku w Prologu można wykorzystać predykaty ''tell/1'', ''told/0'', [[http://gollem.science.uva.nl/SWI-Prolog/Manual/IO.html#sec:edinburghIO|oraz specjalny term pipe/1]]. | + | Do utworzenia potoku w Prologu można wykorzystać predykat ''open/3'', [[http://gollem.science.uva.nl/SWI-Prolog/Manual/IO.html#sec:edinburghIO|oraz specjalny term pipe/1]]. |
| - | ''pipe/1'' tworzy potok, przekierowuje standardowe wyjście do wskazanej aplikacji lub potoku. | + | W przykładzie poniżej ''open(pipe(sort)...)'' uruchamia aplikację systemową ''sort''. |
| - | W przykładzie poniżej ''tell(pipe(sort))'' uruchamia aplikację systemową ''sort''. | + | |
| <code prolog> | <code prolog> | ||
| + | |||
| osoba(franek). | osoba(franek). | ||
| osoba(jurek). | osoba(jurek). | ||
| osoba(ania). | osoba(ania). | ||
| - | wypisz_osoby :- | + | wypisz_osoby(A) :- |
| - | osoba(X), write(X), nl, fail. | + | osoba(B), |
| - | wypisz_osoby. | + | write(A, B), |
| + | write(A, '\n'), | ||
| + | fail. | ||
| - | wypisz_posortowane :- | + | wypisz_posortowane :- |
| - | tell(pipe(sort)), | + | open(pipe(sort), write, A), |
| - | wypisz_osoby, | + | \+ wypisz_osoby(A), |
| - | told. | + | close(A). |
| </code> | </code> | ||
| - | |||
| ==== - Temat: GraphViz i ImageMagick ==== | ==== - Temat: GraphViz i ImageMagick ==== | ||
| - | [[:graphviz]] jest aplikacją służącą do wizualizacji grafów. | + | |
| + | [[misc:Graphviz]] jest aplikacją służącą do wizualizacji grafów. | ||
| Przetwarza plik wejściowy z symbolicznym tekstowym zapisem węzłów oraz krawędzi i generuje plik wyjściowy w jednym z wybranych formatów: JPG, PNG, EPS, SVG, PDF, PS... | Przetwarza plik wejściowy z symbolicznym tekstowym zapisem węzłów oraz krawędzi i generuje plik wyjściowy w jednym z wybranych formatów: JPG, PNG, EPS, SVG, PDF, PS... | ||
| Linia 107: | Linia 109: | ||
| nazwa1 -> nazwa2 | nazwa1 -> nazwa2 | ||
| - | gdzie ''nazwa1'' oraz ''nazwa2'' to nazwy wierzchołków pomiędzy którymi znajduje się krawędź; jeżeli w nazwie wierzchołka znajdują się znaki białe (np. spacje) należy nazwę wierzchołka umieścić w cudzysłowiach np. "wezel o dlugiej nazwie". | + | gdzie ''nazwa1'' oraz ''nazwa2'' to nazwy wierzchołków pomiędzy którymi znajduje się krawędź; jeżeli w nazwie wierzchołka znajdują się znaki białe (np. spacje) należy nazwę wierzchołka umieścić w cudzysłowiach np. |
| + | "wezel o dlugiej nazwie". | ||
| - | Wywołanie generujące graf jako obrazek PNG ([[:graphviz]] generuje graf na standardowym wyjściu): | + | Wywołanie generujące graf jako obrazek PNG ([[misc:Graphviz]] generuje graf na standardowym wyjściu): |
| dot -T png przyklad.dot > przyklad.png | dot -T png przyklad.dot > przyklad.png | ||
| Linia 124: | Linia 127: | ||
| ==== - Metaprogramowanie i Potoki ==== | ==== - Metaprogramowanie i Potoki ==== | ||
| - | Metaprogramowanie można połączyć z możliwościami jakie daje tworzenie potoków do napisania uniwersalnego programu wyświetlającego graf skierowany na podstawie faktów przechowywanych przez wskazany predykat (patrz {{:pl:prolog:prolog_lab:graph.pl}}) będący argumentem wywołania predykatu ''dotegen/1'', np.: | + | Metaprogramowanie można połączyć z możliwościami jakie daje tworzenie potoków do napisania uniwersalnego programu wyświetlającego graf skierowany na podstawie faktów przechowywanych przez wskazany predykat (patrz {{:pl:prolog:prolog_lab:graph2.pl}}) będący argumentem wywołania predykatu ''dotegen/1'', np.: |
| dotgen(mojUlubionyGraf/2). | dotgen(mojUlubionyGraf/2). | ||
| Linia 131: | Linia 134: | ||
| Należy zwrócić uwagę, że ''dotgen/1'' generuje graf pod warunkiem, że wskazany predykat reprezentujący graf ma 2 lub więcej argumentów; założono, że pierwsze dwa argumenty są nazwami wierzchołków tworzących krawędź. | Należy zwrócić uwagę, że ''dotgen/1'' generuje graf pod warunkiem, że wskazany predykat reprezentujący graf ma 2 lub więcej argumentów; założono, że pierwsze dwa argumenty są nazwami wierzchołków tworzących krawędź. | ||
| - | Przykładowe wykorzystanie {{:pl:prolog:prolog_lab:rysuj.pl}}: | + | Przykładowe wykorzystanie //rysuj.pl//: |
| <code prolog> | <code prolog> | ||
| Linia 139: | Linia 142: | ||
| graf(jeden,cztery). | graf(jeden,cztery). | ||
| - | :- [graph]. | + | :- [graph2]. |
| + | rysuj :- | ||
| + | open(pipe('dot -T png | display'), write, A), | ||
| + | dotgen(A, graf/2), | ||
| + | close(A). | ||
| - | rysuj :- | + | rysuj_w :- |
| - | tell(pipe('dot -T png | display')), | + | open(pipe('dot -T png | display &'), write, A), |
| - | dotgen(graf/2), | + | dotgen(A, graf/2), |
| - | told. | + | close(A). |
| - | + | ||
| - | rysuj_w :- | + | |
| - | tell(pipe('dot -T png | display &')), | + | |
| - | dotgen(graf/2), | + | |
| - | told. | + | |
| </code> | </code> | ||
| Linia 157: | Linia 159: | ||
| Np. do wygenerowania grafu może służyć polecenie: | Np. do wygenerowania grafu może służyć polecenie: | ||
| - | swipl -f rysuj.pl -q -t 'dotgen(graf/2).' | dot -Tpng | display | + | swipl -s rysuj.pl -q -t 'dotgen(graf/2).' | dot -Tpng | display |
| bądź też współbieżnie: | bądź też współbieżnie: | ||
| - | swipl -f rysuj.pl -q -t 'dotgen(graf/2).' | dot -Tpng | display & | + | swipl -s rysuj.pl -q -t 'dotgen(graf/2).' | dot -Tpng | display & |
| Linia 182: | Linia 184: | ||
| ==== - Ćwiczenie: Tworzenie potoków ==== | ==== - Ćwiczenie: Tworzenie potoków ==== | ||
| - | Przeanalizuj działanie {{graph.pl}}. | + | Przeanalizuj działanie {{graph2.pl}}. |
| - | Przetestuj i porównaj działanie predykatów ''rysuj'' oraz ''rysuj_w'' z {{rysuj.pl}}. | + | Przetestuj i porównaj działanie predykatów ''rysuj'' oraz ''rysuj_w'' z {{rysuj2.pl}}. |
| Jaka jest różnica? dlaczego? | Jaka jest różnica? dlaczego? | ||
| Linia 190: | Linia 192: | ||
| ==== - Ćwiczenie: Wizualizacja drzewa genealogicznego potomków ==== | ==== - Ćwiczenie: Wizualizacja drzewa genealogicznego potomków ==== | ||
| - | Korzystając z predykatów określających koligacje rodzinne z [[prolog_lab_1]] oraz na podstawie {{graph.pl}} napisz predykat generujący graf będący drzewem genealogicznym określającym potomków wskazanej osoby: | + | Korzystając z predykatów określających koligacje rodzinne z [[pl:prolog:prolog_lab:wprowadzenie]] oraz na podstawie {{graph2.pl}} napisz predykat generujący graf będący drzewem genealogicznym określającym potomków wskazanej osoby: |
| rysuj_potomek(+Kto) | rysuj_potomek(+Kto) | ||
| Linia 201: | Linia 203: | ||
| Wygeneruje drzewo genealogiczne potomków dla osoby franek. | Wygeneruje drzewo genealogiczne potomków dla osoby franek. | ||
| - | Podpowiedź: najpierw napisz predykat znajdujący potomków, potem dodaj generację danych dla [[:graphviz]], następnie wizualizację. | + | Podpowiedź: najpierw napisz predykat znajdujący potomków, potem dodaj generację danych dla [[misc:Graphviz]], następnie wizualizację. |
| ==== - Ćwiczenie: Wizualizacja drzewa genealogicznego potomków, metaprogramowanie ==== | ==== - Ćwiczenie: Wizualizacja drzewa genealogicznego potomków, metaprogramowanie ==== | ||
| - | Korzystając z predykatów określających koligacje rodzinne z [[prolog_lab_1]] oraz na podstawie {{graph.pl}} napisz predykat generujący graf będący drzewem genealogicznym określającym potomków wskazanej osoby: | + | Korzystając z predykatów określających koligacje rodzinne z laboratorium [[wprowadzenie]] oraz na podstawie {{graph.pl}} napisz predykat generujący graf będący drzewem genealogicznym określającym potomków wskazanej osoby: |
| rysuj_potomek(+Kto,+Rodzic,+Kobieta,+Mezczyzna) | rysuj_potomek(+Kto,+Rodzic,+Kobieta,+Mezczyzna) | ||
| Linia 214: | Linia 216: | ||
| rysuj_potomek(franek,rodzic/2,kobieta/1,mezczyzna/1) | rysuj_potomek(franek,rodzic/2,kobieta/1,mezczyzna/1) | ||
| - | Wygeneruje drzewo genealogiczne potomków dla osoby franek, przy czym rodzic/2, kobieta/1, mezczyzna/1 są zdefiniowanymi predykatami, których klauzule przechowują informacje o koligacjach rodzinnych. | + | Wygeneruje drzewo genealogiczne potomków dla osoby ''franek'', przy czym ''rodzic/2, kobieta/1, mezczyzna/1'' są zdefiniowanymi predykatami, których klauzule przechowują informacje o koligacjach rodzinnych. |
| - | Podpowiedź: najpierw napisz predykat znajdujący potomków, potem dodaj generację danych dla [[:graphviz]], następnie wizualizację. | + | Podpowiedź: najpierw napisz predykat znajdujący potomków, potem dodaj generację danych dla [[misc:Graphviz]], następnie wizualizację. |
| + | |||
| + | Uwaga: | ||
| + | Można pokolorować krawędzie i węzły grafu, zadając: | ||
| + | digraph G { | ||
| + | "ala" [style=filled, fillcolor=yellow] | ||
| + | "ala" ->"ma" [color=blue] | ||
| + | "kota"->"ma" [color=red] | ||
| + | "ma" -> "w ciapki" | ||
| + | } | ||
| + | |||
| + | Pokoloruj innymi kolorami węzły związane z kobietami i mężczyznami. | ||
| ===== Dla Zainteresowanych ===== | ===== Dla Zainteresowanych ===== | ||
| Linia 233: | Linia 246: | ||
| {{:pl:prolog:prolog_lab:drzewo_gen_przyklad.png}} | {{:pl:prolog:prolog_lab:drzewo_gen_przyklad.png}} | ||
| - | ====== Komentarze, propozycje, wątpliwości ====== | + | ====== Uwagi, komentarze, propozycje ====== |
| + | Tu studenci mogą wpisywać swoje uwagi. | ||
| + | |||
| + | |||
| + | |||
| + | --- //[[gjn@agh.edu.pl|Grzegorz J. Nalepa]] 2009/05/06 09:13// | ||
