fusemate
Public
Fusemate is a logic programming system implementing the possible models semantics for disjunctive logic programs. It can be used as an inference system for situational awareness.
Source
| Source | Size | ||
|---|---|---|---|
| doc | |||
| examples | |||
| plugin/src/main | |||
| project | |||
| repl | |||
| src/main/scala | |||
| util/src/main/scala | |||
| build.sbt | 7.30 KB | ||
| COPYING | 34.33 KB | ||
| hello-world.sh | 740 B | ||
| install.sh | 56 B | ||
| README.md | 22.38 KB | ||