10 packages returned for prolog

  • 1,190 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,959 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)
  • 405 total downloads
  • last updated 5/2/2017
  • Latest version: 5.0.0.1
  • 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.
Gnu Clay - CommonClientTypes
  • 324 total downloads
  • last updated 11/1/2017
  • Latest version: 0.3.1
This is my little experiment in creating game AI. This is a small and simple system of logic programming similar to the Prolog.
Gnu Clay
  • 517 total downloads
  • last updated 11/1/2017
  • Latest version: 0.3.1
This is my little experiment in creating game AI. This is a small and simple system of logic programming similar to the Prolog.
Gnu Clay - LocalHost
  • 323 total downloads
  • last updated 11/1/2017
  • Latest version: 0.3.1
This is my little experiment in creating game AI. This is a small and simple system of logic programming similar to the Prolog.
Gnu Clay - CommonUtils
  • 326 total downloads
  • last updated 11/1/2017
  • Latest version: 0.3.1
This is my little experiment in creating game AI. This is a small and simple system of logic programming similar to the Prolog.
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