foras 0.0.5

First-Order Reasoner
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

[dependencies.scryer-prolog]
version = "0.10.0"

[[example]]
name = "basic"
path = "examples/basic.rs"

[lib]
name = "foras"
path = "src/lib.rs"

[package]
authors = ["CryptoPatrick <cryptopatrick@gmail.com>"]
autobenches = false
autobins = false
autoexamples = false
autolib = false
autotests = false
build = false
description = "First-Order Reasoner"
documentation = "https://docs.rs/foras"
edition = "2024"
homepage = "https://github.com/cryptopatrick/foras"
keywords = ["ai", "reasoner", "inference"]
license = "MIT"
name = "foras"
readme = "README.md"
repository = "https://github.com/cryptopatrick/foras"
version = "0.0.5"

[[test]]
name = "tests"
path = "tests/test.rs"