我来自Prolog背景.Prolog通常对谓词的第一个参数进行索引(大多数体面的系统允许你改变它,对多个参数进行索引等).无论如何,了解引擎索引子句如何允许您安排参数和谓词以获得更好的性能.
我最近在Erlang编写了一些代码,但是没有看到有关它如何索引子句头的任何信息,以及我应该如何安排参数和子句.谁知道?
谢谢.
indexing erlang clause
clause ×1
erlang ×1
indexing ×1