sentences:  The ALF system was designed to be an efficient implementation of the combination of resolution, narrowing, rewriting, and rejection.ALF programs are compiled into instructions of an abstract machine.The abstract machine is based on the Warren Abstract Machine (WAM) with several extensions to implement narrowing and rewriting.