如何确定Prolog是否执行尾部调用优化
使用SWI Prolog（Win x64）的开发版本， 我为a编写了一个DCG谓词（因此所有外部谓词都没有选择点）：如何确定Prolog是否执行尾部调用优化,prolog,tail-recursion,dcg,tail-call-optimization,Prolog,Tail Recursion,Dcg,Tail Call Optimization,使用SWI Prolog（Win x64）的开发版本， 我为a编写了一个DCG谓词（因此所有外部谓词都没有选择点）： read_标记（解析器（语法、表）， lexer（dfa DFAIndex，last_accept-lastapt，chars-Chars0）， 令牌）--> （[输入]， { dfa：当前（表格、DFAIndex、dfa）， 字符和代码（输入、字符、代码）， dfa：查找边（表、dfa、代码、TargetIndex） } ->{表：项（dfa_表，表，TargetIndex，T
read_标记（解析器（语法、表），
lexer（dfa DFAIndex，last_accept-lastapt，chars-Chars0），
令牌）-->
（[输入]，
{
dfa：当前（表格、DFAIndex、dfa），
字符和代码（输入、字符、代码），
dfa：查找边（表、dfa、代码、TargetIndex）
}
->{表：项（dfa_表，表，TargetIndex，TargetDFA），
dfa：接受（TargetDFA，接受），
原子浓度（Chars0，Char，Chars），
NewState=lexer（dfa TargetIndex，
最后的接受，
字符（字符）
},
read_标记（解析器（语法、表）、NewState、标记）
; {
（LastAccept\=无
->令牌=lastapt-Chars0
；（接地（输入）
->一次（符号：按\类型\名称（表、错误、索引等）），
尝试恢复输入（输入、失败输入、输入），
输入=[FailedInput | InputR]，
格式（atom（错误），“~w”，[FailedInput]），
令牌=索引错误
；一次（符号：按_类型_名称（表、eof、索引等）），
令牌=索引-“”
)
)
}
).
（；）->读取令牌（解析器（语法、表）、新闻状态、令牌）我只是不知道如何找出解释器的作用，尤其是知道在运行调试器时禁用了TCO。为了回答您的问题，我首先寻找可能会阻止最后一次调用优化的“琐碎”目标。如果找到一些： ; ( ground(Input) -> once(symbol:by_type_name(Tables, error, Index, _)), try_restore_input(Input, FailedInput, InputR), Input = [FailedInput | InputR], format(atom(Error), '~w', [FailedInput]), Token = Index-Error ; once(symbol:by_type_name(Tables, eof, Index, _)), Token = Index-'' ) ad 1）这是您最可能正在寻找的递归案例。在这里，一切似乎都很好 广告2,3）上面已经讨论过，也许你想交换目标 ad 4）这是DCGs中处理
{}//1还有一种真正的低层次方法。我从不将此用于代码开发：
vm\u listi\u calli\u callmi_depart142 i_出发（读取令牌/5）