Index of /classes/cs480/aima-core/src/main/java/aima/core/logic/fol/kb/data

	Name	Last modified	Size	Description
	Parent Directory		-
	Clause.java	2016-09-04 16:54	27K
	Chain.java	2016-09-04 16:54	3.0K
	Literal.java	2016-09-04 16:54	2.2K
	CNF.java	2016-09-04 16:54	1.0K
	ReducedLiteral.java	2016-09-04 16:54	959