80 packages returned for Tags:"Logic"

Package type
Sort by
Options
  • 5,480 total downloads
  • last updated 11/3/2017
  • Latest version: 0.5.1-alpha
  • fuzzy logic
A library to express fuzzy logic for .NET. Fuzzy set operations, fuzzification with linguistic variables and fuzzy inference currently supported.
  • 5,996 total downloads
  • last updated 1/14/2016
  • Latest version: 1.1.6
  • Fuzzy Logic Sharp
Fuzzy Logic Sharp. A fuzzy logic library for .NET
  • 5,266 total downloads
  • last updated 1/14/2017
  • Latest version: 2.1.0
  • Logic Rules Engine
Logic engine is designed to run arbitrary rules or bits of logic against a given model
Infers.Toys provides a collection of more or less experimental datatype generic functions for F#. The primary focus of Infers.Toys is to demonstrate possibilities rather than to provide the best possible implementations. The documentation of individual generic functions typically mention known... More information
Infers is a library for deriving F# values from their types and, in a way, a direct application of the Curry-Howard correspondence. The idea is to view the types of F# member functions as Horn clauses. Using a Prolog-style resolution engine it is then possible to attempt to prove goals given as... More information