SCFirstOrderLogic 8.0.0
dotnet add package SCFirstOrderLogic --version 8.0.0
NuGet\Install-Package SCFirstOrderLogic -Version 8.0.0
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="8.0.0" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
<PackageVersion Include="SCFirstOrderLogic" Version="8.0.0" />
<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 8.0.0
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: SCFirstOrderLogic, 8.0.0"
#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@8.0.0
#: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=8.0.0
#tool nuget:?package=SCFirstOrderLogic&version=8.0.0
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
Full documentation can be found here.
The SCFirstOrderLogic NuGet package contains basic but fully functional and documented first-order logic implementations for .NET. Included are:
- A tree model for formulas.
- A streamlined model for formulas in conjunctive normal form - a set of clauses rather than a tree.
- Multiple ways of instantiating raw formulas, 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) formulas to be provided as lambda expressions.
- Formula manipulation logic - base classes for formula visitors and transformations, as well as some fundamental implementations - normalisation, variable substitutions and basic unification logic.
- Formula formatting logic that allows for (customisable) unique labelling of identifiers (e.g. standardised variables and Skolem functions) across a set of formulas.
- 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.
Accompanying the core SCFirstOrderLogic package are three supporting packages:
- SCFirstOrderLogic.Inference.Abstractions: Some abstractions for knowledge base implementations to use.
- 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.
| 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 | 90 | 1/7/2026 |
| 8.0.0-pre.3 | 56 | 12/29/2025 |
| 8.0.0-pre.2 | 53 | 12/27/2025 |
| 8.0.0-pre.1 | 92 | 12/26/2025 |
| 7.7.1 | 323 | 4/19/2025 |
| 7.7.0 | 322 | 4/17/2025 |
| 7.6.0 | 284 | 4/4/2025 |
| 7.5.1 | 325 | 3/31/2025 |
| 7.5.0 | 301 | 3/9/2025 |
| 7.4.0 | 223 | 3/1/2025 |
| 7.3.0 | 216 | 2/15/2025 |
| 7.2.0 | 203 | 1/30/2025 |
| 7.1.0 | 220 | 1/2/2025 |
| 7.0.1 | 418 | 11/22/2024 |
| 7.0.0 | 197 | 10/20/2024 |
| 7.0.0-pre.4 | 119 | 10/13/2024 |
| 7.0.0-pre.3 | 115 | 9/29/2024 |
| 7.0.0-pre.2 | 127 | 8/27/2024 |
| 7.0.0-pre.1 | 213 | 8/3/2024 |
| 6.0.0 | 316 | 7/7/2024 |
| 6.0.0-pre.3 | 123 | 7/7/2024 |
| 6.0.0-pre.2 | 98 | 7/6/2024 |
| 6.0.0-pre.1 | 260 | 6/9/2024 |
| 5.5.0 | 255 | 6/8/2024 |
| 5.4.0 | 223 | 5/26/2024 |
| 5.3.0 | 249 | 1/21/2024 |
| 5.2.0 | 286 | 12/22/2023 |
| 5.1.0 | 283 | 8/12/2023 |
| 5.0.0 | 301 | 7/23/2023 |
| 5.0.0-pre.3 | 211 | 7/22/2023 |
| 5.0.0-pre.2 | 169 | 7/16/2023 |
| 5.0.0-pre.1 | 164 | 7/9/2023 |
| 4.2.0 | 333 | 5/29/2023 |
| 4.1.2 | 372 | 4/1/2023 |
| 4.1.1 | 492 | 3/9/2023 |
| 4.1.0 | 371 | 3/6/2023 |
| 4.0.0 | 488 | 2/26/2023 |
| 4.0.0-pre.5 | 227 | 2/24/2023 |
| 4.0.0-pre.4 | 228 | 2/8/2023 |
| 4.0.0-pre.3 | 205 | 2/6/2023 |
| 4.0.0-pre.2 | 220 | 2/5/2023 |
| 4.0.0-pre.1 | 227 | 1/18/2023 |
| 3.1.4 | 576 | 1/11/2023 |
| 3.1.3 | 449 | 12/24/2022 |
| 3.1.2 | 594 | 11/14/2022 |
| 3.1.1 | 498 | 11/13/2022 |
| 3.1.0 | 507 | 11/13/2022 |
| 3.0.0 | 549 | 11/5/2022 |
| 3.0.0-pre.3 | 232 | 11/4/2022 |
| 3.0.0-pre.2 | 264 | 10/24/2022 |
| 3.0.0-pre.1 | 248 | 10/21/2022 |
| 2.1.3 | 769 | 10/9/2022 |
| 2.1.2 | 585 | 10/9/2022 |
| 2.1.1 | 543 | 10/5/2022 |
| 2.1.0 | 1,053 | 10/5/2022 |
| 2.1.0-pre.5 | 266 | 10/3/2022 |
| 2.1.0-pre.4 | 218 | 9/29/2022 |
| 2.1.0-pre.3 | 242 | 9/29/2022 |
| 2.1.0-pre.2 | 255 | 9/28/2022 |
| 2.1.0-pre.1 | 225 | 9/28/2022 |
| 2.0.0 | 577 | 9/26/2022 |
| 1.1.0 | 622 | 9/16/2022 |
| 1.0.2 | 617 | 9/12/2022 |
| 1.0.1 | 595 | 9/11/2022 |
| 1.0.0 | 592 | 9/7/2022 |
| 1.0.0-pre.1 | 241 | 9/7/2022 |