README
README2

logicagent.rb
logicbot.rb
logicagent-api.yaml
logicbotd.rb
testlogicagent.rb
testlogicbot.rb

graph.rb
testgraph.rb

arguments.rb (used by permutation.rb)
permutation.rb (used for "a man who whistles" dialog)

logicagent.zip (May not be up-to-date)

Sample dialogs:
  Replicating Quillian's Teachable Language Comprehender
  Genericizing syntactic relations
  Golfers logic exercise
  Questioning the case for Relational Logic
  Proving Jack Loves Jill
  Dialogs illustrating examples from Coursera's Introduction to Logic Notes, Chapter 9 Equality:
        Co-referentiality
        Substitution
        Equality Elimination
        Pat and Quincy
        Things logicagent can't (yet) do

All dialogs