Goto

Collaborating Authors

 fol primer


An FOL primer

Classics

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.