修改SWI-Prolg顶层

use*_*625 -1 prolog swi-prolog prolog-toplevel

是否可以对SWI Prolog的顶层进行修改?

mat*_*mat 5

是的,在SWI-Prolog中,toplevel在boot/toplevel.pl中的Prolog中实现,你可以使用它的副本作为扩展的起点.例如,如果您想通过其他工具(如编辑器和编程环境)与编译器进行交互,那么滚动自己的顶层有时很有用.滚动自己的顶层的有用谓词是atom_to_term/3,而read_term/2尤其是使用variable_names选项.