fasp installations
clingo 6 API: https://potassco.org/clingo-preview/python-api/clingo.html
conda create -n clingo6 python=3.13
conda activate clingo6
conda install -c potassco/label/dev-20 -c conda-forge clingo
git clone https://github.com/krr-uno/fasp.git
cd fasp
git pull
pip install -r requirements.txt
pip install -e .
fasp examples/family.lp
fasp
fasp extends clingo 6 with evaluable functions. The major new syntax expression of fasp are assignment rules. These are rules of the forms:
f(t1) := t2 :- Body.
{ f(t1) := t2 } :- Body.
f(t1) := #sum{ X : p(X) } :- Body.
where f is a function symbol and t1 and t2 are terms.
As an example, assignment fact
father(cain)=adam.
means that assigns the value adam to father(cain).
1 maintainer
Metadata
1 maintainer
Release files for funasp 0.0.1.post22
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| funasp-0.0.1.post22.tar.gz | 43.0 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| funasp-0.0.1.post22-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 94.5 kB
Release files / funasp-0.0.1.post22.tar.gz
| Download URL | funasp-0.0.1.post22.tar.gz |
|---|---|
| Size | 43.0 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
ac70524eaab21691ac38cdbb7dfd158d27c76654497c9f887317769dfd2ca699
|
|
BLAKE2b-256 checksum How to use checksums |
df5168584333b8cd275a5f384bd39ed840cf83fb3ffb31feaa4aa92ebbf8be25
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.13.7
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Mar 22, 2026.
Transparency logRelease files / funasp-0.0.1.post22-py3-none-any.whl
| Download URL | funasp-0.0.1.post22-py3-none-any.whl |
|---|---|
| Size | 51.5 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
11d6600ad693f03aa95804f9ad47c6eba2c3ec581c393de3bf67450f700ad4ea
|
|
BLAKE2b-256 checksum How to use checksums |
1c87fe3f97cefd60f3a3910d937e681cece555d4d5a9adcd58427e97dd797507
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.13.7
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Mar 22, 2026.
Transparency log
