标签： prolog
我一直在学习prolog，经常遇到包含谓词参数类型描述符的prolog注释，即
% (list,integer,list) (+,+,-)
或：
% (element,list,integer,list) (?,?,+,?)
第一组paranthesised描述符是非常自我解释但第二组我不太确定。是否有可用的资源来描述这种格式？我的谷歌搜索技巧已经空白了..