Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
jjbell150 authored Oct 31, 2017
1 parent 4170002 commit 5645bf7
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
Usage:
InferenceEngine.exe [filename] [method] (language)
(InferenceEngine.exe testENG.txt fc English)
InferenceEngine.exe [filename] [method] (language)

InferenceEngine.exe testENG.txt fc English

Method is type of inference; so fc (Forwards chaining), bc (Backwards chaining) or tt (Truth Table).
Language is optional, it will default to propositional.
Expand Down

0 comments on commit 5645bf7

Please sign in to comment.