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_metaprog [2016/04/04 23:33] msl [2 Temat: Konstruowanie i dekompozycja termów] |
pl:prolog:prolog_lab:prolog_lab_metaprog [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 157: | Linia 157: | ||
| Realizowane jest to przez predykat :- op(P, T, N), który definiuje N, jako operator typu T, o priorytecie P. | Realizowane jest to przez predykat :- op(P, T, N), który definiuje N, jako operator typu T, o priorytecie P. | ||
| + | Zobacz: | ||
| + | * http://www.swi-prolog.org/pldoc/man?predicate=op/3 | ||
| + | * http://www.learnprolognow.org/lpnpage.php?pagetype=html&pageid=lpn-htmlse40 | ||
| Zdefiniowane w standardzie ISO operatory to: | Zdefiniowane w standardzie ISO operatory to: | ||
| Linia 185: | Linia 188: | ||
| <code prolog> | <code prolog> | ||
| go :- write('Hello '), write('World\n'). | go :- write('Hello '), write('World\n'). | ||
| + | |||
| :- go. | :- go. | ||
| </code> | </code> | ||
| Linia 191: | Linia 195: | ||
| <code prolog> | <code prolog> | ||
| - | :-(go,','(write('Hello '),write('World\n'))). | + | :- (go,','(write('Hello '), write('World\n'))). |
| - | :-(go). | + | |
| + | :- (go). | ||
| </code> | </code> | ||
| Linia 198: | Linia 203: | ||
| Patrz również: | Patrz również: | ||
| - | * [[http://gollem.science.uva.nl/SWI-Prolog/Manual/operators.html|podręcznik SWI]] | ||
| * [[http://cs.union.edu/~striegnk/learn-prolog-now/html/node84.html#subsec.l9.operators.def|Lean Prolog Now]] | * [[http://cs.union.edu/~striegnk/learn-prolog-now/html/node84.html#subsec.l9.operators.def|Lean Prolog Now]] | ||
| Linia 217: | Linia 221: | ||
| :- op(300, xfx, ma). | :- op(300, xfx, ma). | ||
| :- op(200, xfy, i). | :- op(200, xfy, i). | ||
| + | |||
| jas ma kota i psa. | jas ma kota i psa. | ||
| ala ma jasia i angine i dosc_agh. | ala ma jasia i angine i dosc_agh. | ||
| Linia 231: | Linia 236: | ||
| ?- ma(A,i(B,i(C,D))). | ?- ma(A,i(B,i(C,D))). | ||
| - | ?-Kto ma Co. | + | ?- Kto ma Co. |
| - | ?-Kto ma Co i Cosinnego. | + | ?- Kto ma Co i Cosinnego. |
| - | ?-Kto ma Cos i CosInnego i Jeszcze. | + | ?- Kto ma Cos i CosInnego i Jeszcze. |
| ?- display(jas ma kota i psa). | ?- display(jas ma kota i psa). | ||
| Linia 244: | Linia 249: | ||
| Co zwróci poniższe zapytanie? | Co zwróci poniższe zapytanie? | ||
| <code prolog> | <code prolog> | ||
| - | ?- i(X,B). | + | ?- i(A,B). |
| </code> | </code> | ||
| Podpowiedź: zwróć uwagę na priorytety operatorów. | Podpowiedź: zwróć uwagę na priorytety operatorów. | ||
| Linia 276: | Linia 281: | ||
| ?- listing(matka). | ?- listing(matka). | ||
| - | ?- Kto=kasia, call(matka(Kto,Kogo)), write(Kto), write(' jest matka '), write(Kogo). | + | ?- Kto = kasia, call(matka(Kto,Kogo)), write(Kto), write(' jest matka '), write(Kogo). |
| - | ?- Matka=kasia, Dziecko=robert, clause(matka(Matka,Dziecko),Kiedy), write(Matka), write(' jest matka '), write(Dziecko), write(' wtedy gdy: '), write(Kiedy). | + | ?- Matka = kasia, Dziecko = robert, clause(matka(Matka,Dziecko),Kiedy), write(Matka), write(' jest matka '), write(Dziecko), write(' wtedy gdy: '), write(Kiedy). |
| </code> | </code> | ||
| Linia 293: | Linia 298: | ||
| display(Q), | display(Q), | ||
| call(Q), | call(Q), | ||
| - | write(Kto), | + | write(Kto), nl. |
| - | nl. | + | |
| </code> | </code> | ||
| Linia 300: | Linia 304: | ||
| a następnie przetestować i przemyśleć: | a następnie przetestować i przemyśleć: | ||
| - | |||
| <code prolog> | <code prolog> | ||
| ?- odpowiedz. | ?- odpowiedz. | ||
| + | |||
| 'matka' czy 'ojciec'? ojciec | 'matka' czy 'ojciec'? ojciec | ||
| kogo? robert | kogo? robert | ||
| Linia 326: | Linia 330: | ||
| rozwiaz3(G2). | rozwiaz3(G2). | ||
| rozwiaz3(G) :- | rozwiaz3(G) :- | ||
| - | write('Wywoluje: '), write(G), nl, | + | write('Wywoluje: '), write(G), nl, |
| clause(G,B), | clause(G,B), | ||
| rozwiaz3(B), | rozwiaz3(B), | ||
| - | write('Wyjscie: '), write(G), nl. | + | write('Wyjscie: '), write(G), nl. |
| </code> | </code> | ||
| Linia 343: | Linia 347: | ||
| ?- rozwiaz1(matka(kasia,X)). | ?- rozwiaz1(matka(kasia,X)). | ||
| - | ?- rozwiaz1((matka(kasia,X),matka(Y,robert))). | + | ?- rozwiaz1((matka(kasia,X), matka(Y,robert))). |
| - | ?- rozwiaz2((matka(kasia,X),matka(Y,robert))). | + | ?- rozwiaz2((matka(kasia,X), matka(Y,robert))). |
| - | ?- rozwiaz3((matka(kasia,X),matka(Y,robert))). | + | ?- rozwiaz3((matka(kasia,X), matka(Y,robert))). |
| </code> | </code> | ||
