Лексический анализатор Пролог - PullRequest
Новая
       24

Лексический анализатор Пролог

0 голосов
/ 13 января 2019

Я должен сделать лексический анализатор в Прологе и С ++. Моя программа для лексического анализатора в C ++ работает, но у меня есть некоторые проблемы с моим прологическим кодом. Я не могу распознать ключевые слова

Это мой пролог-код для него без включения ключевых слов, которые работают \ 

predicates

string_processing
det_lexical_atom_type(char)
is_identif(char)
is_op(char)
is_delim(char)
is_const(char)
p1(string)

clauses

string_processing:-write("Write the expression"),nl,readln(S),p1(S).
p1(S):-frontchar(S,C,R),det_lexical_atom_type(C),p1(R).
p1("#"):-!.

det_lexical_atom_type(C):-is_identif(C),write("\n Is identif",C).
det_lexical_atom_type(C):-is_op(C),write("\n is op",C).
det_lexical_atom_type(C):-is_delim(C),write("\n is delim",C).
det_lexical_atom_type(C):-is_const(C),write("\n is const",C).

det_lexical_atom_type(C):-write("\n Unknown lexical atom").

is_identif(C):-C='A'.
is_op(C):-C='+';C='*'.
is_delim(C):-C='(';C=')'.
is_const(C):-C='0';C='1'.

И это мой пролог-код, модифицированный для распознавания ключевых слов, но он не работает. Программа перестает читать выражение, которое я даю сразу после первой буквы, и не продолжает распознавать остальную часть выражения. Например, я типа T = 3 + a, он только читает T и затем останавливается 

predicates

string_processing
is_identif(char)
is_op(char)
is_delim(char)
is_const(char)
is_keyword(string)
p2(string)
determine_lexical_atom_type(char)
determine_keyword(string)

clauses

 is_identif(C):-C='A';C='B';C='C';C='D'.
 is_op(C):-C='+';C='-';C='/';C='*';C='='.
 is_delim(C):-C=';';C=',';C='(';C=')'.
 is_const(C):-C='0';C='1';C='2';C='3';C='4';C='5';C='6';C='7';C='8';C='9'.
 is_keyword(T):-T="if";T="while";T="do";T="switch";T="for";
    T="break";T="until";T="then".
 determine_keyword(T):-is_keyword(T),write("\nIs keyword: ",T).
 determine_lexical_atom_type(C):-is_identif(C),write("\nIs identif:",C).
 determine_lexical_atom_type(C):-is_op(C),write("\nIs operator: ",C).
 determine_lexical_atom_type(C):-is_delim(C),write("\nIs delimiter: ",C).
 determine_lexical_atom_type(C):-is_const(C),write("\n Is constant ",C).
 determine_lexical_atom_type(C):-write("\n Unknown lexical atom").
 p2(S):-  fronttoken(S,T,R),write("\nT=",T),determine_keyword(T),frontchar(R,C,R1),determine_lexical_atom_type(C),p2(R1).   
 p2("#"):-!.
 string_processing:-write("Write expression"),nl,readln(S),p2(S),nl.

1 Ответ

0 голосов
/ 16 января 2019

Проблема довольно проста:

Просто переместите determine_keyword/1 до fronttoken/3, фрагмент кода ниже. После этого распознавание ключевых слов должно работать. 

p2(S):-    
  determine_keyword(T), //output var
  fronttoken(S,T,R),
  write("\nT=",T),
  frontchar(R,C,R1),
  determine_lexical_atom_type(C), 
  fail.

p2(_).

determine_keyword/1 генерирует список всех ключевых слов при возврате

...