Unific is a ruby unification engine. A unification engine is an essential part of a logic programming environment (the whole logic programming environment this is taken from is available as the in-development Rulog[http://github.com/jimwise/rulog] (Ruby With Logic) gem), but can also be useful on its own as a pattern matching engine which can enforce consistency across multiple matches.

Required Ruby Version

>= 0

Authors

Jim Wise

Versions

  1. 0.12

    1. source

      1. 0.12 source February 05, 2015 (16.5 KB)
  2. 0.11

    1. source

      1. 0.11 source March 30, 2013 (12 KB)
  3. 0.10

    1. source

      1. 0.10 source January 30, 2012 (11 KB)
  4. 0.9

    1. source

      1. 0.9 source January 12, 2012 (10.5 KB)

SHA 256 checksum

← Previous version