Efficient prolog programming
Timo Knuutila · Software Practice and Experience · 1992
Abstract This paper presents some basic programming strategies for Prolog programmers. The strategies are based on knowledge about the operational behaviour of the Warren Abstract Machine (WAM). The aim is to provide simple principles for making programs both faster and less space‐consuming. The programming hints given are mostly local, i.e. only a single clause or procedure need be considered at a time.