Fork of the the CSharpProlog from https://github.com/jsakamoto/CSharpProlog/
With the following changes:
- Update to .Net 9 and netstandard2.1
- Remove netframework projects
- Fix to make the engine reusable after an error
A C# implementation of Prolog (Fork)
// PM> Install-Package CSProlog -pre
using System;
using Prolog;
class Program
{
static void Main(string[] args)
{
var prolog = new PrologEngine(persistentCommandHistory: false);
// 'socrates' is human.
prolog.ConsultFromString("human(socrates).");
// human is bound to die.
prolog.ConsultFromString("mortal(X) :- human(X).");
// Question: Shall 'socrates' die?
var solution = prolog.GetFirstSolution(query: "mortal(socrates).");
Console.WriteLine(solution.Solved); // = "True" (Yes!)
}
}Run the following command from the Visual Studio Package Manager Console to install the latest version:
Install-Package CSProlog
The NuGet page can be found here:
https://www.nuget.org/packages/CSProlog/#
Prolog Engine
Unit Tests
Dotnet Core Console Interactive Interpreter (tested in linux and windows)
DOS Console Interactive Interpreter
Windows Forms Example
An example of how to use the engine within another Program
Earlier release documents can be found in README (2007-2014).pdf.
- BREAKING CHANGE: Remove "SAMPLES, TESTING & EXPERIMENTAL" predefined predicates. (including CHAT-80 support)
- Fix: "help" predefined predicate dose not work.
- Enhance: GetAllSolutions can work with null file name.
- Support: .NET Standard 1.4 (.NET Core) and UWP
- BREAKING CHANGE: Remove dependency of "System.Windows.Forms".
- NuGet package release
Earlier release notes can be found in README (2007-2014).pdf.