SCFirstOrderLogic 7.7.1
There is a newer prerelease version of this package available.
See the version list below for details.
See the version list below for details.
dotnet add package SCFirstOrderLogic --version 7.7.1
NuGet\Install-Package SCFirstOrderLogic -Version 7.7.1
This command is intended to be used within the Package Manager Console in Visual Studio, as it uses the NuGet module's version of Install-Package.
<PackageReference Include="SCFirstOrderLogic" Version="7.7.1" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
<PackageVersion Include="SCFirstOrderLogic" Version="7.7.1" />
<PackageReference Include="SCFirstOrderLogic" />
For projects that support Central Package Management (CPM), copy this XML node into the solution Directory.Packages.props file to version the package.
paket add SCFirstOrderLogic --version 7.7.1
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: SCFirstOrderLogic, 7.7.1"
#r directive can be used in F# Interactive and Polyglot Notebooks. Copy this into the interactive tool or source code of the script to reference the package.
#:package SCFirstOrderLogic@7.7.1
#:package directive can be used in C# file-based apps starting in .NET 10 preview 4. Copy this into a .cs file before any lines of code to reference the package.
#addin nuget:?package=SCFirstOrderLogic&version=7.7.1
#tool nuget:?package=SCFirstOrderLogic&version=7.7.1
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
The SCFirstOrderLogic NuGet package contains basic but fully functional and documented first-order logic implementations for .NET. Included are:
- Implementations of both raw and CNF sentence representation.
- Multiple ways of instantiating raw sentences, ranging from string parsing, through a number of code-based approaches, all the way to a language-integrated approach that allows (the domain to be modelled as an IEnumerable<T> and) sentences to be provided as lambda expressions.
- Sentence manipulation logic - base classes for sentence visitors and transformations, as well as some implementations - e.g. normalisation, variable substitutions and basic unification logic.
- Sentence formatting logic that allows for (customisable) unique labelling of standardised variables and Skolem functions across a set of sentences.
- Index structures for terms and clauses, with node abstractions to allow for consumer-provided backing stores. Specifically, we have discrimination tree, path tree and feature vector index implementations.
- Some abstractions for knowledge base implementations to implement.
Accompanying the core SCFirstOrderLogic package are two supporting packages:
- SCFirstOrderLogic.Inference.Basic: Very basic first-order logic knowledge base implementations that use the models defined by the SCFirstOrderLogic package. Not useful for anything resembling a production scenario, but perhaps useful as a tool for learning and experimentation.
- SCFirstOrderLogic.ExampleDomains: A few simple first-order logic domains declared using the models found in the SCFirstOrderLogic package - for use in tests and demos.
Full documentation can be found here.
| Product | Versions Compatible and additional computed target framework versions. |
|---|---|
| .NET | net6.0 is compatible. net6.0-android was computed. net6.0-ios was computed. net6.0-maccatalyst was computed. net6.0-macos was computed. net6.0-tvos was computed. net6.0-windows was computed. net7.0 was computed. net7.0-android was computed. net7.0-ios was computed. net7.0-maccatalyst was computed. net7.0-macos was computed. net7.0-tvos was computed. net7.0-windows was computed. net8.0 was computed. net8.0-android was computed. net8.0-browser was computed. net8.0-ios was computed. net8.0-maccatalyst was computed. net8.0-macos was computed. net8.0-tvos was computed. net8.0-windows was computed. net9.0 was computed. net9.0-android was computed. net9.0-browser was computed. net9.0-ios was computed. net9.0-maccatalyst was computed. net9.0-macos was computed. net9.0-tvos was computed. net9.0-windows was computed. net10.0 was computed. net10.0-android was computed. net10.0-browser was computed. net10.0-ios was computed. net10.0-maccatalyst was computed. net10.0-macos was computed. net10.0-tvos was computed. net10.0-windows was computed. |
Compatible target framework(s)
Included target framework(s) (in package)
Learn more about Target Frameworks and .NET Standard.
-
net6.0
- Antlr4.Runtime.Standard (>= 4.13.1)
NuGet packages (3)
Showing the top 3 NuGet packages that depend on SCFirstOrderLogic:
| Package | Downloads |
|---|---|
|
SCClassicalPlanning
Basic classical planning implementations. Includes a simple model for planning problems, as well planners that implement state-space search, goal-space search, and GraphPlan. |
|
|
SCFirstOrderLogic.ExampleDomains
A few simple first-order logic domains declared using the models found in the SCFirstOrderLogic package - for use in tests and demos. |
|
|
SCFirstOrderLogic.Inference.Abstractions
Some abstractions for use by FoL knowledge bases that use the models in SCFirstOrderLogic. |
GitHub repositories
This package is not used by any popular GitHub repositories.
| Version | Downloads | Last Updated |
|---|---|---|
| 8.0.0-pre.3 | 48 | 12/29/2025 |
| 8.0.0-pre.2 | 46 | 12/27/2025 |
| 8.0.0-pre.1 | 83 | 12/26/2025 |
| 7.7.1 | 317 | 4/19/2025 |
| 7.7.0 | 316 | 4/17/2025 |
| 7.6.0 | 279 | 4/4/2025 |
| 7.5.1 | 321 | 3/31/2025 |
| 7.5.0 | 296 | 3/9/2025 |
| 7.4.0 | 220 | 3/1/2025 |
| 7.3.0 | 215 | 2/15/2025 |
| 7.2.0 | 200 | 1/30/2025 |
| 7.1.0 | 212 | 1/2/2025 |
| 7.0.1 | 414 | 11/22/2024 |
| 7.0.0 | 192 | 10/20/2024 |
| 7.0.0-pre.4 | 115 | 10/13/2024 |
| 7.0.0-pre.3 | 112 | 9/29/2024 |
| 7.0.0-pre.2 | 124 | 8/27/2024 |
| 7.0.0-pre.1 | 209 | 8/3/2024 |
| 6.0.0 | 315 | 7/7/2024 |
| 6.0.0-pre.3 | 115 | 7/7/2024 |
| 6.0.0-pre.2 | 95 | 7/6/2024 |
| 6.0.0-pre.1 | 258 | 6/9/2024 |
| 5.5.0 | 250 | 6/8/2024 |
| 5.4.0 | 219 | 5/26/2024 |
| 5.3.0 | 242 | 1/21/2024 |
| 5.2.0 | 282 | 12/22/2023 |
| 5.1.0 | 278 | 8/12/2023 |
| 5.0.0 | 294 | 7/23/2023 |
| 5.0.0-pre.3 | 208 | 7/22/2023 |
| 5.0.0-pre.2 | 164 | 7/16/2023 |
| 5.0.0-pre.1 | 161 | 7/9/2023 |
| 4.2.0 | 323 | 5/29/2023 |
| 4.1.2 | 369 | 4/1/2023 |
| 4.1.1 | 487 | 3/9/2023 |
| 4.1.0 | 365 | 3/6/2023 |
| 4.0.0 | 486 | 2/26/2023 |
| 4.0.0-pre.5 | 222 | 2/24/2023 |
| 4.0.0-pre.4 | 222 | 2/8/2023 |
| 4.0.0-pre.3 | 199 | 2/6/2023 |
| 4.0.0-pre.2 | 218 | 2/5/2023 |
| 4.0.0-pre.1 | 224 | 1/18/2023 |
| 3.1.4 | 573 | 1/11/2023 |
| 3.1.3 | 447 | 12/24/2022 |
| 3.1.2 | 591 | 11/14/2022 |
| 3.1.1 | 495 | 11/13/2022 |
| 3.1.0 | 497 | 11/13/2022 |
| 3.0.0 | 547 | 11/5/2022 |
| 3.0.0-pre.3 | 225 | 11/4/2022 |
| 3.0.0-pre.2 | 261 | 10/24/2022 |
| 3.0.0-pre.1 | 244 | 10/21/2022 |
| 2.1.3 | 763 | 10/9/2022 |
| 2.1.2 | 580 | 10/9/2022 |
| 2.1.1 | 540 | 10/5/2022 |
| 2.1.0 | 1,048 | 10/5/2022 |
| 2.1.0-pre.5 | 262 | 10/3/2022 |
| 2.1.0-pre.4 | 212 | 9/29/2022 |
| 2.1.0-pre.3 | 236 | 9/29/2022 |
| 2.1.0-pre.2 | 249 | 9/28/2022 |
| 2.1.0-pre.1 | 220 | 9/28/2022 |
| 2.0.0 | 574 | 9/26/2022 |
| 1.1.0 | 616 | 9/16/2022 |
| 1.0.2 | 608 | 9/12/2022 |
| 1.0.1 | 589 | 9/11/2022 |
| 1.0.0 | 587 | 9/7/2022 |
| 1.0.0-pre.1 | 238 | 9/7/2022 |