aima.logic.fol.demos
Classes
FolDemo