aima.logic.fol.demos
Classes 
FolDemo