6 packages returned for prolog

  • 1,143 total downloads
  • last updated 10/16/2012
  • Latest version: 1.0.2
  • Prolog Interpreter
A .NET-base implementation of Prolog based on the Warren Abstract Machine (WAM) architecture.
  • 1,899 total downloads
  • last updated 7/15/2011
  • Latest version: 1.1.5990
A CSharp class library to connect .NET languages with SWI-Prolog.
C#Prolog (CSProlog)
  • 342 total downloads
  • last updated 5/2/2017
  • Latest version:
  • Prolog interpreter
C#Prolog -- A Prolog interpreter written in C#. Can easily be integrated in C# programs. Characteristics: reliable and fairly fast interpreter, command line interface, builtin DCG, XML- and JSON-predicates, SQL-predicates, extendible.
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