Noun
FOL
(logic) Initialism of first-order logic.
O fol of alle foles, Thou farst as he betwen tuo stoles That wolde sitte and goth to grounde. John Gower
A persistent rumour that Iqaluit was an emergency landing site for the Space Shuttle is false. citation Iqaluit shared its runway with the Royal Canadian Air Force until the Canadian Forces stopped using Iqaluit as a Forward Operating Location (FOL). Source: Internet
However, FOL has two drawbacks as a knowledge representation formalism: ease of use and practicality of implementation. Source: Internet
IF-THEN rules provide a subset of FOL but a very useful one that is also very intuitive. Source: Internet
In a FOL system, additional axioms are required to make inferences about the environment (for example, that a block cannot change position unless it's physically moved). Source: Internet
Languages which do not have the complete formal power of FOL can still provide close to the same expressive power with a user interface that is more practical for the average developer to understand. Source: Internet