CSProlog 6.0.0
Install-Package CSProlog -Version 6.0.0
dotnet add package CSProlog --version 6.0.0
<PackageReference Include="CSProlog" Version="6.0.0" />
paket add CSProlog --version 6.0.0
#r "nuget: CSProlog, 6.0.0"
// Install CSProlog as a Cake Addin
#addin nuget:?package=CSProlog&version=6.0.0
// Install CSProlog as a Cake Tool
#tool nuget:?package=CSProlog&version=6.0.0
CSharpProlog

A C# implementation of Prolog
// 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!)
}
}
License
Product | Versions |
---|---|
.NET | net5.0 net5.0-windows net6.0 net6.0-android net6.0-ios net6.0-maccatalyst net6.0-macos net6.0-tvos net6.0-windows |
.NET Core | netcoreapp1.0 netcoreapp1.1 netcoreapp2.0 netcoreapp2.1 netcoreapp2.2 netcoreapp3.0 netcoreapp3.1 |
.NET Standard | netstandard1.4 netstandard1.5 netstandard1.6 netstandard2.0 netstandard2.1 |
.NET Framework | net35 net40 net403 net45 net451 net452 net46 net461 net462 net463 net47 net471 net472 net48 |
MonoAndroid | monoandroid |
MonoMac | monomac |
MonoTouch | monotouch |
Tizen | tizen30 tizen40 tizen60 |
Universal Windows Platform | uap uap10.0 |
Xamarin.iOS | xamarinios |
Xamarin.Mac | xamarinmac |
Xamarin.TVOS | xamarintvos |
Xamarin.WatchOS | xamarinwatchos |
-
.NETFramework 3.5
- No dependencies.
-
.NETStandard 1.4
- NETStandard.Library (>= 1.6.0)
NuGet packages (1)
Showing the top 1 NuGet packages that depend on CSProlog:
Package | Downloads |
---|---|
Spprologa.CSProlog
The library to build a client web apps with Prolog, built on Blazor WebAssembly. |
GitHub repositories
This package is not used by any popular GitHub repositories.
Version | Downloads | Last updated |
---|---|---|
6.0.0 | 1,666 | 4/24/2018 |
5.0.0.1 | 907 | 5/2/2017 |
5.0.0.1-alpha | 619 | 4/15/2017 |
5.0.0-alpha | 790 | 12/16/2015 |
v.6.0.0
- 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.
v.5.0.0.1
- Support: .NET Standard 1.4 (.NET Core) and UWP
v.5.0.0
- BREAKING CHANGE: Remove dependency of "System.Windows.Forms".
- NuGet package release