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 [2012/04/25 08:45] gjn nowy pipe |
pl:prolog:prolog_lab:prolog_lab_system [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| 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''. FIXME | + | |
| <code prolog> | <code prolog> | ||
| Linia 89: | Linia 88: | ||
| ==== - Temat: GraphViz i ImageMagick ==== | ==== - Temat: GraphViz i ImageMagick ==== | ||
| + | |||
| [[misc:Graphviz]] jest aplikacją służącą do wizualizacji grafów. | [[misc:Graphviz]] jest aplikacją służącą do wizualizacji grafów. | ||
| Linia 142: | Linia 142: | ||
| graf(jeden,cztery). | graf(jeden,cztery). | ||
| - | :- [graph]. | + | :- [graph2]. |
| rysuj :- | rysuj :- | ||
| open(pipe('dot -T png | display'), write, A), | open(pipe('dot -T png | display'), write, A), | ||
| Linia 184: | 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 192: | 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 [[pl:prolog:prolog_lab:wprowadzenie]] 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) | ||
