75 packages returned for Tags:"logic"

  • 5,177 total downloads
  • last updated 1/14/2016
  • Latest version: 1.1.6
  • Fuzzy Logic Sharp
Fuzzy Logic Sharp. A fuzzy logic library for .NET
  • 4,412 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
Infers.Rep provides rules for Infers to generate representations and efficient accessors for F# types based on a sum of products representation. The representations are designed to allow the implementation of efficient polytypic and datatype generic functions.