• Prolog.NET

    By:

    Last Published: | Latest Version: 1.0.2

    A .NET-base implementation of Prolog based on the Warren Abstract Machine (WAM) architecture.

  • SWI.Prolog

    By:

    Last Published: | Latest Version: 1.1.5990

    A CSharp class library to connect .NET languages with SWI-Prolog.

    1,676 total downloads

    Tags

  • Amzi Prolog Logic Server

    By:

    Last Published: | Latest Version: 0.1.0

    This package includes the .NET Wrapper of Amzi Prolog and Logic Server as well as the Native Logic Server DLL

    Requires NuGet 3.3 or higher.

  • CSProlog

    By:

    Last Published: | Latest Version: 5.0.0-alpha

    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.

  • YieldProlog For Coda

    By:

    Last Published: | Latest Version: 1.0.1

    Description

    149 total downloads

    Tags

  • Infers

    By:

    Last Published: | Latest Version: 0.2.3

    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 simple F# types. During the resolution process the... <a href="/packages/Infers/0.2.3">More information</a>