cosp 0.1.0

A Prolog-like logic inference system with cost-aware reasoning.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

# 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.
?-
```