[Turbo Prolog] Анализатор текста на языке Pascal

[Arkuz]

Привет. Сколько я не пытался так ничего путного не выходит...
В общем нужен анализатор, который может анализировать:

1. раздел переменных
2. описание функций
3. while do
4. if then
АНАЛИЗАТОР НЕ УНИВЕРСАЛЬНЫЙ. ДОЛЖЕН ОТРАБАТЫВАТЬ С 3-4 ПЕРЕМЕННЫМИ НУ И БАЗОВЫЕ СИМВОЛЫ ОПРЕДЕЛЯТЬ ТИПА (+-*/)

Это нужно сделать не используя грамматику.
Подскажите как сделать?
Просто помогите идеей или на примере описания переменных как происходит анализ. Мне бы понять как это делается и я продолжу...
Как я делал, так у меня получается большая вложенность предикатов друг в друга....
Может кто мне на мои ошибки укажет и скажет как лучше сделать.

Этот исходник допускает все символы допустимые в разделе описания переменных, но не следит за их порядком. Поэтому варианты:

1) a,b:integer;
2) integer:,b,a:
будут считаться верными...

Использую Turbo Prolog 2

domains
  file=file_in
  list=string*
  str=string
  leks=string
  
predicates
  start
  readlist(list)
  leksfind(str)
  member(str,str)/*bazovoe slovo, ostatok stroki*/
  var(str,str)/*ostatok stroki, bazovoe slovo, tekushaya leksema*/
  
clauses

var(Y,VX) if VX="a",fronttoken(Y,VXX,YY),write(VX),
    member("var",YY).
var(Y,VX) if VX="b",fronttoken(Y,VX,YY),write(VX),
     member("var",YY).
var(Y,VX) if VX="c",fronttoken(Y,VX,YY),write(VX),
     member("var",YY).
var(Y,VX) if VX=";",fronttoken(Y,VX,YY),write(VX),
    nl,fail.
var(Y,VX) if VX=":",fronttoken(Y,VX,YY),write(VX),
     member("var",YY).
var(Y,VX) if VX=",",fronttoken(Y,VX,YY),write(VX),
    member("var",YY).
var(Y,VX) if VX="integer",fronttoken(Y,VX,YY),write(VX),
     member("var",YY).
var(Y,VX) if VX="boolean",fronttoken(Y,VX,YY),write(VX),
     member("var",YY).



/* raspoznaem bazovie slova dlya dalneishih instrukcii*/
member(X,Y) if X="program",!.

member(X,Y) if X="var",fronttoken(Y,VX,VY),
    var(Y,VX).

member(X,Y) if X="begin",write(X),nl.

member(X,Y) if X="end;",write(X),nl.

member(X,Y) if X="end.",write(X),nl.

member(X,Y) if write("Ne popal"),nl.

leksfind(Head) if 
     fronttoken(Head,X,Y),write(X),nl,
     member(X,Y).

leksfind("") if write("empty"),nl.
  
  readlist([Head|Tail]) if 
     not(eof(file_in)),readln(Head),write(Head),nl,
     leksfind(Head),readlist(Tail).
  
  readlist([]) if write("!!! FINISH !!!"),!.
  start if
    PAS_IN="PAS_IN.txt",
    openread(file_in,PAS_IN),
    readdevice(file_in),readlist(List),
    closefile(file_in).
goal
  start.

[Arkuz]

Никто в этом не шарит?