cosp
| Crates.io | cosp |
| lib.rs | cosp |
| version | 0.2.3 |
| created_at | 2025-10-22 01:25:42.871015+00 |
| updated_at | 2025-12-13 03:09:12.227442+00 |
| description | A Prolog-like logic inference system with cost-aware reasoning. |
| homepage | |
| repository | https://github.com/mushitoriami/cosp |
| max_upload_size | |
| id | 1894778 |
| size | 44,765 |
Komorebi Sakuramochi (mushitoriami)
documentation
README
cosp
A Prolog-like logic inference system with cost-aware reasoning.
$ cat program.plc
[1] f(x?) :- g(x?).
[2] g(p*).
[4] f(p*).
$ cosp program.plc
?- f(x?).
x = p*
3.
?-