GitHub - WilsonSunBritten/Wumpus: Starting point for the Wumpus project

Name		Name	Last commit message	Last commit date
Latest commit History 280 Commits
Wumpus		Wumpus
.gitattributes		.gitattributes
.gitignore		.gitignore
.merge_file_a08396		.merge_file_a08396
Driver.java		Driver.java
Fact.java		Fact.java
IFunction.java		IFunction.java
IdentityFunction.java		IdentityFunction.java
InferenceEngine.java		InferenceEngine.java
KnowledgeBase.java		KnowledgeBase.java
LogicExplorer.java		LogicExplorer.java
MinusFunction.java		MinusFunction.java
PerceptBoard.txt		PerceptBoard.txt
PlusFunction.java		PlusFunction.java
Quantifier.java		Quantifier.java
ReactiveExporer.java		ReactiveExporer.java
Rule.java		Rule.java
SkolemFunction.java		SkolemFunction.java
Space.java		Space.java
Variable.java		Variable.java
VariableConvertionFunction.java		VariableConvertionFunction.java
World.java		World.java
Wumpus.iml		Wumpus.iml
Wumpus.java		Wumpus.java
WumpusGame.java		WumpusGame.java