Vorlesung Logische Programmierung Übung 8

Größe: px

Ab Seite anzeigen:

Download "Vorlesung Logische Programmierung Übung 8"

Cornelia Vogt
vor 7 Jahren
Abrufe

1 Institut für Informatik Wintersemester 2003/2004 Universität Zürich Vorlesung Logische Programmierung Übung 8 Dr. Norbert E. Fuchs Stefan Höfler Projekt 2. Teil: Tokeniser Das unten angehängte Programm tokeniser.pl zerlegt eine Texteingabe in ihre "Tokens", d.h. in Worte, Zahlen, Satzzeichen. 1. Rufen Sie das Programm auf?- read_atomics(line_editor, Line). und geben Sie beispielsweise : The cat sits on the mat. ein. Sie erhalten dann Line = ['The',cat,sits,on,the,mat,'.'] Versuchen Sie andere Eingaben. 2. Versuchen Sie, das Programm zu verstehen. Machen Sie ein ausführliches Tracing Ihrer Eingaben. In der Übungsstunde sollte eine Gruppe das Programm vorstellen und erklären. 3. Erweitern Sie das Programm, so dass Grossbuchstaben in Kleinbuchstaben umgewandelt werden. Diese Umwandlung ist nötig, um später Worte in einem Lexikon zu finden. Hinweis: Die nötige Erweiterung des Programms ist minimal. Das obige Beispiel lautet dann?- read_atomics(line_editor, Line). : The cat sits on the mat. Line = ['the',cat,sits,on,the,mat,'.'] 4. Erweitern Sie das Programm um einen Filter, der Kommas aus der Eingabe entfernt.?- read_atomics(line_editor, Line). : The cat sits on the mat, and it is sleepy. Line = ['the',cat,sits,on,the,mat,and,it,is,sleepy, '.']

2 5. Verbinden Sie den Tokeniser mit dem endlichen Automaten aus Aufgabe 7. Das zu entwickelnde Programm sollte einen Satz einlesen, ihn in seine Tokens zerlegen und die Liste der Tokens dem endlichen Automaten zur Akzeptanz vorlegen. Erweitern Sie das Programm, so dass ein Satz nach dem anderen eingegeben und verarbeitet werden kann, bis ein leerer Satz eingegeben wird.

3 tokeniser.pl read_atomics(+inputmedium,-atomics) reads a line of text, breaking it into a list of tokens read_atomics(inputmedium,atomics) :- read_char(inputmedium,firstc,firstt), complete_line(inputmedium,firstc,firstt,atomics) read_char(+inputmedium,-char,-type) reads a character and runs it through char_type/ read_char(inputmedium,char,type) :- get0(c), char_type(inputmedium,c,type,char) complete_line(+inputmedium,+firstc,+firstt,-atomics) given FirstC (the first character) and FirstT (its type), reads and tokenises the rest of the line into atoms and numbers complete_line(_inputmedium,_,end,[]) :- complete_line(inputmedium,_,blank,atomics) :- stop at end skip blanks

4 read_atomics(inputmedium,atomics). complete_line(inputmedium,firstc,cr,[a Atomics]) :- name(a,[firstc]), read_atomics(inputmedium,atomics). special char complete_line(inputmedium,firstc,special,[a Atomics]) :- name(a,[firstc]), read_atomics(inputmedium,atomics). special char complete_line(inputmedium,firstc,alpha,[a Atomics]) :- begin word complete_word(inputmedium,firstc,alpha,word,nextc,nextt), name_num(a,word), complete_line(inputmedium,nextc,nextt,atomics) complete_word(+inputmedium,+firstc,+firstt,-list,-follc,-follt) given FirstC (the first character) and FirstT (its type), reads the rest of a word, putting its characters into List complete_word(inputmedium,firstc,alpha,[firstc List],FollC,FollT) :- read_char(inputmedium,nextc,nextt), complete_word(inputmedium,nextc,nextt,list,follc,follt). complete_word(_inputmedium,firstc,firstt,[],firstc,firstt). where FirstT is not alpha char_type(+inputmedium,+code,?type,-newcode) given an InputMedium an ASCII code, classifies the character as 'end' (of line/file), 'blank', 'alpha'(numeric), or 'special', and changes it to a potentially different character (NewCode)

5 char_type(line_editor,10,end,10) :- UNIX end of line mark line editor. char_type(text_editor,10,blank,32) :- replace end of line mark by blank char_type(test_editor,10,cr,10) :- replace end of line mark by '\n' char_type(_inputmedium,13,end,13) :- DOS end of line mark char_type(text_editor,-1,end,-1) :- char_type(test_editor,-1,end,-1) :- get0 end of file code char_type(_inputmedium,code,blank,32) :- Code =< 32, blanks, other ctrl codes char_type(_inputmedium,code,alpha,code) :- quotes Code = 39, char_type(_inputmedium,code,alpha,code) :- dollar Code = 36, char_type(_inputmedium,code,alpha,code) :- digits 48 =< Code, Code =< 57, char_type(_inputmedium,code,alpha,code) :- upper-case letters 65 =< Code, Code =< 90, char_type(_inputmedium,code,alpha,code) :- lower-case letters 97 =< Code, Code =< 122, char_type(_inputmedium,code,special,code). all others name_num(-atomornumber,+string) used in place of name/2 in last clause of complete_line in versions of Prolog where name/2 does not recognise numbers.

6 name_num(number,string) :- nonvar(string), string_number(string,number), name_num(atom,string) :- name(atom,string) string_number(+s,-n) converts string to corresponding number, e.g. "234" to 234 fails if S does not represent a nonnegative integer string_number(s,n) :- string_number_aux(s,0,n). string_number_aux([d Digits],Total,Result) :- digit_value(d,v), NewTotal is 10*Total + V, string_number_aux(digits,newtotal,result). string_number_aux([],result,result) digit_value(+code,-value) maps ASCII code for a digit ("0"..."9") onto value (0...9) digit_value(code,value) :- 48 =< Code, Code =< 57, Value is Code

Ähnliche Dokumente

Arbeitsweise des vorgestellten Tokenizers verstehen nicht: Auswendiglernen dieses Prolog-Programms. Wissen, dass das Problem nicht ganz trivial ist

Tokenizer bersicht Ziel Was macht ein Tokenizer? Zeichen klassifizieren Trivial-Version fÿr unseren Prolog-Tokenizer Zeichen-Klassifikation in Unicode Arbeitsweise des vorgestellten Tokenizers Schwierigere