📄 server.pro
字号:
%:-module(server,[main/0,parse1/2]).
:- use_module(library(prologbeans)).
:- use_module('parser.pro').
%% Register acceptable queries and start the server (using default port)
main:- register_query(parse(C,P), parse1(C,P)),start.
parse1(Chars, P) :- prologbeans:pb_read_term_from_chars(Chars, X, []),parse(X,P).
%% We have received a list of characters, which needs to be converted into an expression
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -