Вопрос
В настоящее время я работаю над рекурсивной программой на Прологе, позволяющей связывать маршруты вместе для создания базовый GPS района Бирмингема.На данный момент я могу получить вывод следующим образом:
Вход
routeplan(selly_oak, aston, P).
Выход
P = [selly_oak, edgbaston, ... , aston]
Я хотел бы, чтобы моя программа предоставляла какой-то интерфейс, поэтому, если бы я набрал что-то вроде:
Route from selly_oak to aston
Это дало бы мне:
Go from selly_oak to edgbaston
Go from edgbaston to ...
Finally, Go from ... to aston.
Пролог — мощный язык, поэтому я предполагаю, что это легко возможно, однако во многих книгах, которые я взял, эта часть, похоже, пропускается.Насколько мне известно, мне приходится использовать что-то вроде write() и read(), хотя подробности мне неизвестны.
Может ли кто-нибудь, новичок в Прологе, предоставить некоторые базовые примеры или ссылки на дополнительную информацию?
РЕДАКТИРОВАТЬ: Многие из этих ответов кажутся очень сложными, и решение должно состоять всего из 5-10 строк кода.Чтение значения не является проблемой, поскольку я могу сделать что-то вроде:
find:-
write('Where are you? '),
read(X),
nl, write('Where do you want to go? '),
read(Y),
loopForRoute(X,Y).
Я бы предпочел, чтобы вывод мог быть записан с помощью write(), чтобы можно было использовать новую строку (nl), чтобы она отображалась так же, как вывод выше.
Если бы это были мои входные данные, как бы я затем организовал верхний маршрутный план() для работы с этими входными данными?Кроме того, если бы я добавил линии для этих станций в качестве дополнительного параметра, как бы это было реализовано?Все ссылки определяются в начале файла следующим образом:
rlinks(selly_oak, edgbaston, uob_line).
rlinks(edgbaston, bham_new_street, main_line).
Поэтому, обладая этой информацией, было бы хорошо иметь возможность прочитать строку как таковую.
Go from selly_oak to edgbaston using the uob_line
Go from edgbaston to ... using the ...
Finally, go from ... to aston using the astuni_line
Решение
Для подобных вещей я обычно создаю предикаты оболочки.Так что в вашем случае...
guided:-
print('Enter your start point'),nl,
read(Start),
print('Enter your destination'),nl,
read(Dest),
routeplan(Start, Dest, Route),
print_route(Route).
И print_route/1 может быть чем-то рекурсивным, например:
print_route([]).
print_route([[A,B,Method]|Tail]):-
print_route(Tail),
print('Go from '), print(A),
print(' to '), print(B),
print(' by '), print(Method), nl.
Я предположил, что третья переменная предиката маршрута/3 представляет собой список списков.Кроме того, он построен путем добавления хвоста.Если это не так, то адаптироваться будет довольно легко.Спрашивайте в комментариях.
Другие советы
Книга, в которой подробно обсуждаются такие вещи, называется Обработка естественного языка для программистов на ПрологеМайкл А.Ковингтон.
В общем, что вам нужно сделать, это
- Токенизировать входные данные
- Разберите токены (например.с DCG), чтобы получить входные данные для
routeplan/3
- Вызов
routeplan/3
- Сгенерируйте немного английского языка на основе вывода
routeplan/3
Примерно так (работает в SWI-Prolog):
% Usage example:
%
% ?- query_to_response('Route from selly_oak to aston', Response).
%
% Response = 'go from selly_oak to edgbaston then go from edgbaston
% to aston then stop .'
%
query_to_response(Query, Response) :-
concat_atom(QueryTokens, ' ', Query), % simple tokenizer
query(path(From, To), QueryTokens, []),
routeplan(From, To, Plan),
response(Plan, EnglishTokens, []),
concat_atom(EnglishTokens, ' ', Response).
% Query parser
query(path(From, To)) --> ['Route'], from(From), to(To).
from(From) --> [from], [From], { placename(From) }.
to(To) --> [to], [To], { placename(To) }.
% Response generator
response([_]) --> [stop], [.].
response([From, To | Tail]) -->
goto(path(From, To)), [then], response([To | Tail]).
goto(path(From, To)) --> [go], from(From), to(To).
% Placenames
placename(selly_oak).
placename(aston).
placename(edgbaston).
% Mock routeplan/3
routeplan(selly_oak, aston, [selly_oak, edgbaston, aston]).
Хм, если я правильно вас понимаю, вам просто нужно красиво отформатировать список для распечатки, нет?
В SWI-Prolog это работает:
output_string([A,B],StrIn,StrOut) :-
concat_atom([StrIn, 'Finally, Go from ', A, ' to ', B, '.'],StrOut),
write(StrOut).
output_string([A,B|Rest],StrIn,StrOut) :-
concat_atom([StrIn,'Go from ', A, ' to ', B, '.\n'],StrAB),
output_string([B|Rest],StrAB,StrOut).
тогда позвони с
output_string(P,'',_).
Возможно, это не очень эффективно, но свою работу выполняет.:)
Вот несколько предикатов для чтения строк из файла/потока в строку Пролога:
%%% get_line(S, CL): CL is the string read up to the end of the line from S.
%%% If reading past end of file, returns 'end_of_file' in CL first, raises
%%% an exception second time.
%%% :- pred get_string(+stream, -list(int)).
get_line(S, CL) :-
peek_code(S, C),
( C = -1
-> get_code(S, _),
CL = end_of_file
; get_line(S, C, CL)).
get_line(_, -1, CL) :- !, CL = []. % leave end of file mark on stream
get_line(S, 0'\n, CL) :- !,
get_code(S, _),
CL = [].
get_line(S, C, [C|CL]) :-
get_code(S, _),
peek_code(S, NC),
get_line(S, NC, CL).
%% read_lines(L): reads lines from current input to L. L is a list of list
%% of character codes, newline characters are not included.
%% :- pred read_lines(-list(list(char))).
read_lines(L) :-
current_input(In),
get_line(In, L0),
read_lines(In, L0, L).
%% read_lines(F, L): reads lines from F to L. L is a list of list of character
%% codes, newline characters are not included.
%% :- pred read_lines(+atom, -list(list(char))).
read_lines(F, L) :-
fail_on_error(open(F, read, S)),
call_cleanup((get_line(S, L0),
read_lines(S, L0, L)),
close(S)).
read_lines(_, end_of_file, L) :- !, L = [].
read_lines(S, H, [H|T]) :-
get_line(S, NH),
read_lines(S, NH, T).
Затем взгляните на DCGs для получения информации о том, как анализировать строку.