-- The new software, found in Pattern.scala, can now build Datalog-like terms, from
sentences where monovalent, divalent predicate expressions and coordinated clauses (and, or, ...)
can be found.
-- Removed unnecessary & unorganized information from README.md.

Signed-off-by: Mark Farrell<markfarr2011@gmail.com>