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.
?-
-
Notifications
You must be signed in to change notification settings - Fork 0
A Prolog-like logic inference system with cost-aware reasoning
License
mushitoriami/cosp
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A Prolog-like logic inference system with cost-aware reasoning
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published