Prezentace se nahrává, počkejte prosím

Prezentace se nahrává, počkejte prosím

Logické programování Přednáška číslo 3. 2 Predikáty I/O read(X) - načtení vstupu z klávesnice do proměnné X (zadání musí končit tečkou). Chceme-li načíst.

Podobné prezentace


Prezentace na téma: "Logické programování Přednáška číslo 3. 2 Predikáty I/O read(X) - načtení vstupu z klávesnice do proměnné X (zadání musí končit tečkou). Chceme-li načíst."— Transkript prezentace:

1 Logické programování Přednáška číslo 3

2 2 Predikáty I/O read(X) - načtení vstupu z klávesnice do proměnné X (zadání musí končit tečkou). Chceme-li načíst řetězec začínající velkým písmenem, je nutné zadat jej v apostrofech. ?- read(A).?- read(A). : ales.: ‘Tom’. A = alesA = ‘Tom’ write(X) - výpis proměnné X nebo zadaného řetězce na obrazovku nl - odřádkování výpisu ?- write(ahoj), nl. ahojyes

3 3 Predikáty I/O getb(X) - načtení tisknutelného nebo i netisknutelného znaku a uložení jeho ascii-hodnoty do proměnné X, vstup se neukončuje tečkou ?- getb(X). X = 97% uživatel stiskl klávesu „a“ ?- write('Cekam na stisk klavesy...'), getb(_), nl. Cekam na stisk klavesy... yes tab(N) - výpis N mezer ?- write(ahoj), tab(3), write(konec), nl. ahoj konec yes

4 4 První program program:-write('Zadejte prosim sve krestni jmeno:'), read(Jm), read(Jm), write(Jm), write(' je moc hezke jmeno!'), nl, write(Jm), write(' je moc hezke jmeno!'), nl, write('Stisknete libovolnou klavesu...'), write('Stisknete libovolnou klavesu...'), getb(_), nl, getb(_), nl, write('Program byl ukoncen.'), nl. write('Program byl ukoncen.'), nl. ?- program. Zadejte prosim sve krestni jmeno: jirka. jirka je moc hezke jmeno! Stisknete libovolnou klavesu... Program byl ukoncen. yes

5 5 Úlohy typu „generuj a testuj“ Mezi velkým množstvím potenciálních řešení hledáme pouze taková, která vyhovují všem omezujícím podmínkám zadání úlohy Příklad 1 Rozmístěte čísla 1 – 6 do vrcholů a středů stran trojúhelníka tak, aby součty čísel na všech stranách byly shodné. A B F CDE

6 6 Příklad 1 – trojúhelník cislo(1).cislo(2).… cislo(6). % mame k dispozici 6 cisel reseni(A,B,C,D,E,F):- cislo(A), cislo(B), cislo(C), cislo(D), cislo(E),cislo(F), A\=B, A\=C, A\=D, A\=E, A\=F, B\=C, B\=D, B\=E, B\=F, B\=C, B\=D, B\=E, B\=F, C\=D,C\=E, C\=F, C\=D,C\=E, C\=F, D\=E, D\=F, E\=F, A+B+C =:=A+F+E, A+B+C =:= C+D+E. % nešikovné řešení % nešikovné řešení % testuje se: , , ,.... A B F CDE

7 7 Příklad 1 – trojúhelník reseni2(A,B,C,D,E,F):- cislo(A), cislo(A), cislo(B),A\=B, % JIZ PRVNI TEST cislo(B),A\=B, % JIZ PRVNI TEST cislo(C),A\=C,B\=C, cislo(C),A\=C,B\=C, Souc is A+B+C, Souc is A+B+C, cislo(D),A\=D,B\=D,C\=D, cislo(D),A\=D,B\=D,C\=D, cislo(E),A\=E,B\=E,C\=E,D\=E, cislo(E),A\=E,B\=E,C\=E,D\=E, Souc is C+D+E, % totéž jako A+B+C =:= C+D+E Souc is C+D+E, % totéž jako A+B+C =:= C+D+E cislo(F),A\=F,B\=F,C\=F,D\=F,E\=F, cislo(F),A\=F,B\=F,C\=F,D\=F,E\=F, Souc is E+F+A. % totéž jako A+B+C =:= E+F+A Souc is E+F+A. % totéž jako A+B+C =:= E+F+A % testuj okamžitě, když můžeš = efektivnější postup % testuj okamžitě, když můžeš = efektivnější postup % testuje se:123456, , ,... % testuje se:123456, , ,... A B F CDE

8 8 Příklad 1 – trojúhelník reseni3(A,B,C,D,E,F):- cislo(A), cislo(A), cislo(B),A\=B, cislo(B),A\=B, cislo(C),A>C,B\=C, % oproti A\=C se zavádí pořadí vrcholů v řešení -> jednoznačnost cislo(C),A>C,B\=C, % oproti A\=C se zavádí pořadí vrcholů v řešení -> jednoznačnost Souc is A+B+C, Souc is A+B+C, cislo(D),A\=D,B\=D,C\=D, cislo(D),A\=D,B\=D,C\=D, cislo(E),A\=E,B\=E,C>E,D\=E, cislo(E),A\=E,B\=E,C>E,D\=E, Souc is C+D+E, Souc is C+D+E, cislo(F),A\=F,B\=F,C\=F,D\=F,E\=F, cislo(F),A\=F,B\=F,C\=F,D\=F,E\=F, Souc is E+F+A. Souc is E+F+A. % generují se pouze navzájem různá řešení (zde 4, u reseni2 jich je 24) % generují se pouze navzájem různá řešení (zde 4, u reseni2 jich je 24) A B F CDE

9 9 Úlohy typu „generuj a testuj“ Příklad 2 Algebrogram Cílem je dosadit za neznámá písmena číslice tak, aby naznačená matematická operace dávala korektní výsledek. Například: SUMECSEND SUMECSEND *3 +MORE JEZERO MONEY JEZERO MONEY

10 10 Příklad 2 - algebrogram Zadání Vyřešte algebrogram SEND +MORE +MORE MONEY MONEY při dodržení podmínky M ≠ 0. Proměnné S,E,N,D,M,O,R,Y Možné hodnoty 0,1,2,3,4,5,6,7,8,9

11 11 Příklad 2 – algebrogram cislo(0). % mame k dispozici 10 cisel cislo(1). … cislo(9). reseni:-cislo(S), cislo(E),S\=E, cislo(N),S\=N,E\=N, cislo(D),S\=D,E\=D,N\=D, cislo(M),M\=0,S\=M,E\=M,N\=M,D\=M, cislo(O),S\=O,E\=O,N\=O,D\=O,M\=O, cislo(R),S\=R,E\=R,N\=R,D\=R,M\=R,O\=R, cislo(Y),S\=Y,E\=Y,N\=Y,D\=Y,M\=Y,O\=Y,R\=Y, 1000*S+100*E+10*N+D *M+100*O+10*R+E =:= 10000*M+1000*O+100*N+10*E+Y, % test součtu write(‘ ‘:S:E:N:D), nl, write(‘ ‘:M:O:R:E), nl, write(‘ ’), nl, write(M:O:N:E:Y), nl.

12 12 Příklad 2 - algebrogram Předchozí program funguje, ale je pomalý, protože neuplatňuje zásadu provedení testu v co možná nekratším okamžiku generování Namísto testování „po řádcích“ se nabízí alternativa testování „po sloupcích“, která mnohem dříve zabrání generování možností, které nevedou k cíli SEND SEND +MORE+MORE +MORE+MORE MONEYMONEY MONEYMONEY Program jistě bude rychlejší, ale nesmíme při sčítání zapomenout na možné přenosy mezi sloupci.

13 13 Příklad 2 – algebrogram res2:-cislo(D), cislo(E),E\=D, S1 is D+E, cislo(Y),Y\=E,Y\=D, Y is S1 mod 10, Pr1 is S1//10, cislo(N),N\=Y,N\=E,N\=D, cislo(R),R\=N,R\=Y,R\=E,R\=D, S2 is N+R +Pr1, E is S2 mod 10, Pr2 is S2//10, cislo(O),O\=R,O\=N,O\=Y,O\=E,O\=D, S3 is E+O+Pr2, N is S3 mod 10, Pr3 is S3//10, cislo(S),S\=0,S\=O,S\=R,S\=N,S\=Y,S\=E,S\=D, cislo(M),M\=0,M\=S,M\=O,M\=R,M\=N, M\=Y,M\=E,M\=D, S4 is S+M+Pr3, O is S4 mod 10, M is S4 // 10, write(‘ ‘:S:E:N:D), nl, write(‘ ‘:M:O:R:E), nl, write(‘ ‘:S:E:N:D), nl, write(‘ ‘:M:O:R:E), nl, write(‘ ’), nl, write(M:O:N:E:Y), nl. write(‘ ’), nl, write(M:O:N:E:Y), nl.

14 14 Příklad 2 - algebrogram

15 15 Příklad 3 – magický čtverec Pro čtverec o rozměru N*N doplňte čísla 1 až N 2 tak, aby součty čísel v každém řádku, v každém sloupci a na obou úhlopříčkách byly stejné Vhodný postup: Generování čísel v takovém pořadím, abychom s testem příliš nečekali Víme, kolik má součet v každé linii vyjít, čímž lze výpočet podstatně urychlit Třetí číslo v linii lze při známém součtu linie dopočítat a je zbytečné jej generovat způsobem „pokus-omyl“ AB F C DE IGH

16 16 Rekurze Definování objektu pomocí sebe sama Rekurzivní volání –přímé – funkce volá sama sebe (f volá f) –nepřímé (kruhové) – vzájemné cyklické volání několika funkcí (f1 volá f2 a potom f2 volá f1 –nepřímé (kruhové) – vzájemné cyklické volání několika funkcí (f1 volá f2 a potom f2 volá f1) Podmínky úspěšného použití rekurze -v každém kroku musí dojít ke „zjednodušení“ problému (vykonání konkrétního kroku směrem k cíli) -musí být vhodně definována ukončovací podmínka

17 17 Příklady použití rekurze % predek(predek_osoby_Y, osoba_Y) predek(X,Y):-rodice(X,_,Y).predek(X,Y):-rodice(_,X,Y). predek(X,Y):-rodice(O,_,Y), predek(X,O). predek(X,Y):-rodice(_,M,Y), predek(X,M). % špatně provedená rekurze predek(X,Y):-predek(X,O), rodice(O,_,Y). predek(X,Y):-predek(X,M), rodice(_,M,Y). predek(X,Y):-rodice(X,_,Y).predek(X,Y):-rodice(_,X,Y).

18 18 Příklady použití rekurze Nepřímá rekurze % matka(Matka, Dite) % matka(Matka, Dite) matka(alena,pepik). matka(M,D) :- dite(D,M). dite(D,M) :- matka(M,D). ?- matka(X,Y). X = alena, Y = pepik ; …

19 19 Příklady použití rekurze Nepřímá rekurze % ještě hůře provedená rekurze matka(M,D) :- dite(D,M). dite(D,M) :- matka(M,D). matka(alena,pepik). ?- matka(X,Y). Error 1, Backtrack Stack Full, Trying matka/2 Aborted


Stáhnout ppt "Logické programování Přednáška číslo 3. 2 Predikáty I/O read(X) - načtení vstupu z klávesnice do proměnné X (zadání musí končit tečkou). Chceme-li načíst."

Podobné prezentace


Reklamy Google