Similarly to Prolog, ALF uses a backtracking strategy corresponding to a depth-first search in the derivation tree.
مشابه به پرولگ، ALF از یک استراتژی بازگشتی که به یک جستجو اول عمق در یک درخت اشتقاق تطابق دارد استفاده می‌کند.