The ALF project has been subsumed into work being done at Earl Research.

ALF's goals were to establish a two-sorted logic to support reasoning in partially unknown contexts and provide a foundation for self organizing mobile agents. The Kutachi project supports this by populationg the ontology of the second sort.