Efficient Prolog: a practical tutorial

摘要

This tutorial presents twelve guidelines for making Prolog programs efficient. Topics covered include procedural versus declarative programming, internal representation of data, first-argument indexing, cuts, and ways to avoid consing.