SCFirstOrderLogic 7.7.1

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" />
                    
Directory.Packages.props
<PackageReference Include="SCFirstOrderLogic" />
                    
Project file
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
                    
#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.
#addin nuget:?package=SCFirstOrderLogic&version=7.7.1
                    
Install SCFirstOrderLogic as a Cake Addin
#tool nuget:?package=SCFirstOrderLogic&version=7.7.1
                    
Install SCFirstOrderLogic as a Cake Tool

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 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.

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.Inference.Basic

Very basic knowledge base implementations that use the models defined by the SCFirstOrderLogic package.

SCFirstOrderLogic.ExampleDomains

A few simple first-order logic domains declared using the models found in the SCFirstOrderLogic package - for use in tests and demos.

GitHub repositories

This package is not used by any popular GitHub repositories.

Version Downloads Last updated
7.7.1 125 4/19/2025
7.7.0 217 4/17/2025
7.6.0 203 4/4/2025
7.5.1 186 3/31/2025
7.5.0 197 3/9/2025
7.4.0 124 3/1/2025
7.3.0 124 2/15/2025
7.2.0 105 1/30/2025
7.1.0 124 1/2/2025
7.0.1 316 11/22/2024
7.0.0 123 10/20/2024
7.0.0-pre.4 66 10/13/2024
7.0.0-pre.3 63 9/29/2024
7.0.0-pre.2 79 8/27/2024
7.0.0-pre.1 157 8/3/2024
6.0.0 217 7/7/2024
6.0.0-pre.3 63 7/7/2024
6.0.0-pre.2 63 7/6/2024
6.0.0-pre.1 199 6/9/2024
5.5.0 150 6/8/2024
5.4.0 144 5/26/2024
5.3.0 175 1/21/2024
5.2.0 187 12/22/2023
5.1.0 210 8/12/2023
5.0.0 200 7/23/2023
5.0.0-pre.3 121 7/22/2023
5.0.0-pre.2 109 7/16/2023
5.0.0-pre.1 106 7/9/2023
4.2.0 212 5/29/2023
4.1.2 257 4/1/2023
4.1.1 359 3/9/2023
4.1.0 259 3/6/2023
4.0.0 363 2/26/2023
4.0.0-pre.5 123 2/24/2023
4.0.0-pre.4 127 2/8/2023
4.0.0-pre.3 123 2/6/2023
4.0.0-pre.2 126 2/5/2023
4.0.0-pre.1 127 1/18/2023
3.1.4 465 1/11/2023
3.1.3 329 12/24/2022
3.1.2 495 11/14/2022
3.1.1 382 11/13/2022
3.1.0 394 11/13/2022
3.0.0 428 11/5/2022
3.0.0-pre.3 144 11/4/2022
3.0.0-pre.2 167 10/24/2022
3.0.0-pre.1 169 10/21/2022
2.1.3 620 10/9/2022
2.1.2 473 10/9/2022
2.1.1 435 10/5/2022
2.1.0 896 10/5/2022
2.1.0-pre.5 163 10/3/2022
2.1.0-pre.4 142 9/29/2022
2.1.0-pre.3 134 9/29/2022
2.1.0-pre.2 142 9/28/2022
2.1.0-pre.1 144 9/28/2022
2.0.0 452 9/26/2022
1.1.0 492 9/16/2022
1.0.2 482 9/12/2022
1.0.1 473 9/11/2022
1.0.0 468 9/7/2022
1.0.0-pre.1 146 9/7/2022