Search Results for "predicate logic"
Sort By:
Showing 8 open source projects for "predicate logic"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
Get Avast Free Antivirus | Your top-rated shield against malware and online scamsOur antivirus software scans for security and performance issues and helps you to fix them instantly. It also protects you in real time by analyzing unknown files before they reach your desktop PC or laptop — all for free.
-
1
2048-1
Sdk library for creating 2048 game in c#.
My take mini sdk libs for creating the 2048 game in C#. Suitable for any engine from console app to Unity game. Only 2048 game logic. A very simple customizable core for initialization game with params. -
2
LogicCalculus
A logic IDE for the sentential logic and the predicate logic.
LogicCalculus is a logic IDE for the sentential logic and the predicate logic. Currently it can evaluate expressions and fill a truth table. -
3
The BetaSDK project has been started to bridge the gap between SDK and game development suite using the XNA 4.0 Game Studio SDK.
-
4
A college project to develop a first order logic editor, Fol-E. http://www.youtube.com/watch?v=FRAyMdXee0c The program will be developed in Java, and will be available on Windows, Mac and Linux.
-
Build Securely on Azure with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
5
JApprDB is a database engine able to store knowledge by means of semantic networks, representing semantic relations between the concepts. Databases are supposed to be queried by Lojban - a syntactically unambiguous language based on predicate logic.
-
6
The Eagle automated theorem prover is a system for developing proofs for theorems in predicate logic.
-
7
The Jorne project develops software and open standards for linking Lojban text with WWW and Semantic Web metadata (e.g. RDF/N3, RSS, XML). Lojban is an artificial spoken and written language based on predicate logic.
-
8
Modernizing the sentential and predicate logic programs, Bertie and Twootie, by cleaning up the code, rewritting the code to conform to the standard Pascal defination, and developing a graphical user interface for both X and MS Windows.
- Previous
- You're on page 1
- Next
