A Python package to translate First-Order Logic (FOL) into different knowledge representation languages
Project description
CLGC
A Python package to translate First-Order Logic (FOL) into different knowledge representation languages
Scope
A package used for handling logic statements and logic analysis using formal knowledge representation languages.
Key Features
- Translate FOL statements to other formal Knowledge Representation (KR) languages
- Categorize syllogisms by type
Supported KR Languages
- Common Logic Interchange Format (CLIF)
- Conceptual Graph Interchange Format (CGIF)
- Tensor Function Logic (TFL)
- Tensor Function Logic Plus (TFL+)
- CLINGO
- MINIFOLX
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
clgc-0.0.1.tar.gz
(17.6 kB
view details)
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
clgc-0.0.1-py3-none-any.whl
(17.6 kB
view details)
File details
Details for the file clgc-0.0.1.tar.gz.
File metadata
- Download URL: clgc-0.0.1.tar.gz
- Upload date:
- Size: 17.6 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.2.0 CPython/3.13.11
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
e299833aff354c9cdbafaa9cfe577bc025dd5d991b6113fa7ad1844340d75363
|
|
| MD5 |
9bc72eacb27f4fe8f3aa396597c2dd27
|
|
| BLAKE2b-256 |
a85d4bbdedf9973d96a6b6980fd2aeae7688ea5b19bb80167c22573ee39850db
|
File details
Details for the file clgc-0.0.1-py3-none-any.whl.
File metadata
- Download URL: clgc-0.0.1-py3-none-any.whl
- Upload date:
- Size: 17.6 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.2.0 CPython/3.13.11
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
545e7d50a06fdde5c079c20453f7ce15a46a998f1337d450ed8c8b771c470e90
|
|
| MD5 |
40bbc17b9c107d3a988ba87a4315cd20
|
|
| BLAKE2b-256 |
5db81ea020777da32572e0d2c631d8a55fb1166644488a28dae16991ec097a52
|
