An FOL primer

This is an informal description of my ideas about using formal logic as a tool for reasoning systems using computers. The theoretical ideas are illustrated by the features of fol. All of the examples presented have actually run using the fol system.