Programmiersprachen 2 (SS 2013) - Prolog Wiederholung

Programmiersprache2 (SS 2013)Sebastian Krings,Michael Leuschel,John WitulskiProgrammiersprachen 2 (SS 2013)Prolog WiederholungPrologWiederholungSebastian Krings, Michael Leuschel, John Witulski8. April 2013

Motivation und Ausblick (1) : ”Warum Prolog?”Programmiersprache2 (SS 2013)Sebastian Krings,Michael Leuschel,John WitulskiPrologWiederholung◮ Definite Clause Grammars (DCGs): für Parsing◮ Operator Deklarationen: für Parsing◮ Semantik-Regeln können oft einfach in Prolog übersetztwerde

Prolog WiederholungWarmup : member/2Programmiersprache2 (SS 2013)Sebastian Krings,Michael Leuschel,John WitulskiPrologWiederholung?− member ( 1 , [ 1 , 3 , 4 ] ) .y e s .

Prolog WiederholungWarmup : member/2Programmiersprache2 (SS 2013)Sebastian Krings,Michael Leuschel,John WitulskiPrologWiederholung?− member ( 1 , [ 1 , 3 , 4 ] ) .y e s .member (H , [ H| ) .member (E , [ |T]): − member (E , T ) .

Prolog WiederholungWarmup : delete/3Programmiersprache2 (SS 2013)Sebastian Krings,Michael Leuschel,John WitulskiPrologWiederholung?− d e l e t e ( 2 , [ 1 , 2 , 3 , 4 ] , L ) .L = [ 1 , 3 , 4 ] .

Prolog WiederholungWarmup : delete/3Programmiersprache2 (SS 2013)Sebastian Krings,Michael Leuschel,John WitulskiPrologWiederholung?− d e l e t e ( 2 , [ 1 , 2 , 3 , 4 ] , L ) .L = [ 1 , 3 , 4 ] .d e l e t e (H , [ H|T] ,T ) .d e l e t e (E , [ H|T ] , [ H| R]): − d e l e t e (E , T, R ) .

Prolog WiederholungWarmup : append/3Programmiersprache2 (SS 2013)Sebastian Krings,Michael Leuschel,John WitulskiPrologWiederholung?− append ( [ 1 , 2 ] , [ 3 , 4 ] , L ) .L = [ 1 , 2 , 3 , 4 ] .

Prolog WiederholungWarmup : append/3Programmiersprache2 (SS 2013)Sebastian Krings,Michael Leuschel,John WitulskiPrologWiederholung?− append ( [ 1 , 2 ] , [ 3 , 4 ] , L ) .L = [ 1 , 2 , 3 , 4 ] .append ( [ ] , X, X ) .append ( [H| X] , Y , [ H|XY ] ) :− append (X, Y,XY ) .Lösung ist in O(n)

Prolog WiederholungWarmup : reverse/2Programmiersprache2 (SS 2013)Sebastian Krings,Michael Leuschel,John WitulskiPrologWiederholung?− r e v e r s e ( [ 4 , 3 , 2 , 1 ] , L ) .L = [ 1 , 2 , 3 , 4 ] .

Prolog WiederholungWarmup : reverse/2Programmiersprache2 (SS 2013)Sebastian Krings,Michael Leuschel,John WitulskiPrologWiederholung?− r e v e r s e ( [ 4 , 3 , 2 , 1 ] , L ) .L = [ 1 , 2 , 3 , 4 ] .r e v e r s e ( [ ] , [ ] ) .r e v e r s e ( [H|T] , L ):− r e v e r s e (T, R) , append (R , [ H] , L ) .

Prolog WiederholungWarmup : reverse/2 (Alternative)Programmiersprache2 (SS 2013)Sebastian Krings,Michael Leuschel,John WitulskiPrologWiederholung?− r e v e r s e ( [ 4 , 3 , 2 , 1 ] , L ) .L = [ 1 , 2 , 3 , 4 ] .r e v e r s e (L , R): − r e v ( L , R , [ ] ) .r e v ( [H|T] , R , Acc ): − r e v (T, R , [ H| Acc ] ) .r e v ( [ ] , R , Acc ): − Acc=R .Lösung ist in O(n)

Prolog WiederholungWarmup : permute/2Programmiersprache2 (SS 2013)Sebastian Krings,Michael Leuschel,John WitulskiPrologWiederholung?− permute ( [ 1 , 2 , 3 ] , L ) .L = [ 1 , 2 , 3 ] ;L = [ 1 , 3 , 2 ] ;L = [ 2 , 1 , 3 ] ;L = [ 2 , 3 , 1 ] ;L = [ 3 , 1 , 2 ] ;L = [ 3 , 2 , 1 ] ;no .

Prolog WiederholungWarmup : permute/2?− permute ( [ 1 , 2 , 3 ] , L ) .L = [ 1 , 2 , 3 ] ;L = [ 1 , 3 , 2 ] ;L = [ 2 , 1 , 3 ] ;L = [ 2 , 3 , 1 ] ;L = [ 3 , 1 , 2 ] ;L = [ 3 , 2 , 1 ] ;no .Programmiersprache2 (SS 2013)Sebastian Krings,Michael Leuschel,John WitulskiPrologWiederholungpermute ( [ ] , [ ] ) .permute (L , [ X | R ] ):− d e l e t e (X, L , L2 ) , permute ( L2 , R ) .

Prolog Wiederholung Grundlagen◮ Deklarativ, Nichtdeterminismus, Rekursion undBacktraking◮ Hornklauseln und Prädikatenlogik◮ Resolution und Unifikation◮ First Argument Indexing◮ Negation as Failure◮ Tail Recursion◮ Akkumulatoren◮ If-Then-Else: Test− > Then; Else◮ if/3 if(Test, Then, Else).Programmiersprache2 (SS 2013)Sebastian Krings,Michael Leuschel,John WitulskiPrologWiederholung

Prolog Wiederholung ModuleProgrammiersprache2 (SS 2013)Sebastian Krings,Michael Leuschel,John WitulskiPrologWiederholung◮ SWI: use module/1 oder use module/2◮ Hiermit können Module geladen werden(SWI)::− use module ( l i b r a r y ( l i s t s ) ) .

Prolog Wiederholung Systeme: Sicstus, SWIProgrammiersprache2 (SS 2013)Sebastian Krings,Michael Leuschel,John WitulskiPrologWiederholung◮ yes/no vs. true/false◮ kommerziell vs. kostenlos◮ unterschiedliches Modulsystem◮ Unterschiede beim CLP◮ unterschiedliche Built-ins