Интерпретатор на основе Prolog

Я уже намочил ноги функциональным программированием; я знаком (хотя и не опытен) в схеме Haskell и PLT. Я использовал схему PLT для создания маленьких интерпретаторов для игрушечных языков (ссылаясь на PLAI) - я лучше с императивными языками.

может ли кто-нибудь направить меня к ресурсам, которые я мог бы использовать для создания небольшого интерпретатора игрушечного языка по моему выбору с Prolog?

7
compiler-construction dcg interpreter prolog

3 ответов

Я в основном использую swi-prolog, поэтому большая часть того, что я говорю, будет связана с swi-prolog. Однако другие реализации prolog могут иметь похожие предикаты / библиотеки (возможно, с немного другим именем), поэтому вы можете искать их руководства и находить их. Кроме того, я пишу компилятор, а не интерпретатор, в prolog, поэтому, возможно, некоторые части не так связаны с интерпретатором.

сайт документации SWI-Prolog действительно хорошо для поиска вещей: используйте поле поиска, чтобы найти любой предикат или же обычный поиск. Существует множество библиотек, но вы можете реализовать некоторые вещи самостоятельно, чтобы получить опыт. Вы можете в конечном итоге заново изобрести колесо, но это было бы полезно.

в книге" Искусство пролога " (Стерлинг,Шапиро) есть глава, посвященная созданию компилятора в прологе (и это хорошая книга для пролога).

возможно, есть некоторые инструменты, эквивалентные lex / bison для prolog; я никогда не искал.
Имхо, лексер довольно прост в простом прологе; естественно, он будет в значительной степени основан на сопоставлении шаблонов.

для парсера я предлагаю использовать DCG: определенные грамматики предложения:swi-Prolog doc, google для получения более подробной информации.
Проблема в том, что вам придется парсить весь файл (или, по крайней мере я не нашел способ сделать это иначе). Кстати, лексер также может быть сделан с DCGs, но я не думаю, что это действительно лучше.

Если вы хотите иметь промежуточный код, абстрактное дерево синтаксиса легко производить из парсера (вы также можете оценить много вещей во время синтаксического анализа).
О семантических проверках: в моем компиляторе для игрушечного языка я делаю большую часть семантических проверок (связанных с областью,вызовов функций) во время синтаксического анализа и остальное на отдельном шаге. Это немного грязно

другие полезные вещи: проверьте assert/1, глобальные переменные,мета-предикаты (maplist/[2-6]).
не чистый пролог, и вы можете сделать свой код слишком императивным, злоупотребляя ими (и тогда у вас могут быть очень неприятные побочные эффекты)

для таблицы символов (если вам это нужно) вы можете просто использовать assert/1 для добавления предикатов: swi-prolog использует динамические хэш-таблицы для динамических предикатов. предупреждение: динамические предикаты медленнее статических, поэтому, когда вы завершаете таблицу и не собираетесь вносить какие-либо изменения, используйте compile_predicates/1, чтобы сделать их статическими. Например, когда я заканчиваю разбор, мой ST готов, поэтому я компилирую его. Другое решение для ST-использовать

7

Маркус Тріска (здесь своей странице) показать несколько вещей, которые могут быть вам интересны: например,toy LISP, или некоторые toughts к мета переводчиков.

5

Я написал простой интерпретатор для функционального языка программирования в Prolog. Полная реализация показана здесь с примером ее использования:

:- initialization(main).
:- set_prolog_flag('double_quotes','chars').

main :- functional_syntax((
            writeln(factorial(3)+factorial(4)),
            Concatenated_string = "hello" + " " + "world",
            writeln(Concatenated_string),
            writeln(length(Concatenated_string)),
            writeln(type(Concatenated_string)),
            writeln(nth0(0,Concatenated_string)),
            writeln(msort([1,3,2,15,-1]))
        ),true).

factorial(N,Output) :-
    functional_syntax((
        (N=1 -> Output = 1);
        Output = N*factorial(N-1)
    )).

type(A,B) :-
    functional_syntax(A,A1),
    (number(A),B='number';
    is_list(A),B='list';
    atom(A),B='atom').

functional_syntax(A) :- functional_syntax(A,true).
functional_syntax(A,A) :- number(A);var(A);atom(A).
functional_syntax(not(X),Output) :-
    functional_syntax((X = false),Output).
functional_syntax(writeln(A),true) :-
    functional_syntax(A,A1),writeln(A1).
functional_syntax(A+B,C) :-
    functional_syntax([A,B],[A1,B1]),
    ((number(A1),number(B1)) ->
        C is A1+B1;
    (is_list(A1),is_list(B1)) ->
        append(A1,B1,C)).
functional_syntax(A-B,C) :-
    functional_syntax([A,B],[A1,B1]),C is A1-B1.
functional_syntax(A*B,C) :-
    functional_syntax([A,B],[A1,B1]),C is A1*B1.
functional_syntax(A/B,C) :-
    functional_syntax([A,B],[A1,B1]),C is A1/B1.
functional_syntax(A=B,Result) :-
    functional_syntax(B,B1),
    (A=B1,Result=true;dif(A,B1),Result=false).
functional_syntax(A->B,Result) :-
    (functional_syntax(A,A1),A1=true) -> (functional_syntax(B,B1),Result=true,B1=true);
    Result=false.
functional_syntax([],[]).
functional_syntax([A|B],[A1|B1]) :-
    functional_syntax(A,A1),functional_syntax(B,B1).
functional_syntax((A,B),Result) :-
    functional_syntax([A,B],[A1,B1]),
    (A1,B1,Result=true;([A1,B1]=[true,false];[A1,B1]=[false,true]),Result=false).
functional_syntax((A;B),Result) :-
    (functional_syntax(A,A1),call(A1);
    functional_syntax(B,B1),call(B1)) -> (Result = true);
    (functional_syntax(A,A1),A1=false,Result=false).
functional_syntax(Input,Output1) :-
    not(number(Input)),
    Input =.. [Name|Params],
    \+member(Name,['=','->',not,'[|]',',',';',+,-,*,/]),
    length(Params,Params_length),
    Params_length > 0,
    functional_syntax(Params,Params1),
    append([Name|Params1],[Output1],Input0),
    Input1 =.. Input0,
    call(Input1).
0