Search Results for "predicate logic"

Refined is a Scala library that enhances types with compile-time constraints using predicate-style refinement types. It allows embedding validation logic into types like Refined[Int, Positive], ensuring invalid values are rejected at compile or runtime, thereby increasing safety and reducing boilerplate in domain modeling.

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.

LogicCalculus is a logic IDE for the sentential logic and the predicate logic. Currently it can evaluate expressions and fill a truth table.

The BetaSDK project has been started to bridge the gap between SDK and game development suite using the XNA 4.0 Game Studio SDK.

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.

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.

The Eagle automated theorem prover is a system for developing proofs for theorems in predicate logic.

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.

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.