Brolog - Prolog interpreter written in Python
Installation
pip install brolog
CLI usage
brolog input.pl
?- list([]).
true.
?- list([1,2]).
true.
?- append(X, Y, [1,2,3]).
X = [1,2],
Y = 3.
?- append([1], X, [4,5]).
false.
Using this file as input:
list([]).
list([_|T]) :- list(T).
append([], X, [X]).
append([H|T], X, [H|R]) :- append(T, X, R).
Supported builtins
- Lists:
[H|T],[1,2], .. - Cut:
! - Arbitrary symbolic functions:
f(),g(a, b), ..
TODO
- (WIP) Use networkx to generate the SDL tree of a query
- Add more commonly used builtins
1 maintainer
Metadata
1 maintainer
Release files for brolog 0.1.0
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| brolog-0.1.0.tar.gz | 11.0 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| brolog-0.1.0-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 21.6 kB
Release files / brolog-0.1.0.tar.gz
| Download URL | brolog-0.1.0.tar.gz |
|---|---|
| Size | 11.0 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
806505865282ac2fc53e1dbde23bd9a9f7b9d945f8d4a86afc88bd06e6907628
|
|
BLAKE2b-256 checksum How to use checksums |
05e689e7b51f60210a466630a1ec1b3c12b29c5d6ed975574656009852449e0c
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/5.0.0 CPython/3.11.2
|
Release files / brolog-0.1.0-py3-none-any.whl
| Download URL | brolog-0.1.0-py3-none-any.whl |
|---|---|
| Size | 10.6 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
fc71c66d1ef044ce417fe4c812b57e6fd4b0396bf483963a1ae7164dd3a69c62
|
|
BLAKE2b-256 checksum How to use checksums |
7e160f250d762180b34ed185efb01141b4d7f825d195a90f36bf86db82bfa17d
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/5.0.0 CPython/3.11.2
|
