https://github.com/kajizukataichi/amalog

Simple amateur's logical model
https://github.com/kajizukataichi/amalog

amature expert-system expert-systems inference inference-engine inference-engines logic-model logic-programming logical logical-model logical-programming programming-logic

Last synced: 23 days ago
JSON representation

Simple amateur's logical model

• Host: GitHub
• URL: https://github.com/kajizukataichi/amalog
• Owner: KajizukaTaichi
• License: mit
• Created: 2024-07-21T08:55:53.000Z (6 months ago)
• Default Branch: master
• Last Pushed: 2024-07-22T08:22:08.000Z (6 months ago)
• Last Synced: 2024-11-06T15:21:12.507Z (2 months ago)
• Topics: amature, expert-system, expert-systems, inference, inference-engine, inference-engines, logic-model, logic-programming, logical, logical-model, logical-programming, programming-logic
• Language: Rust
• Homepage:
• Size: 7.81 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# AmaLog

simple amateur's logical model

## Usage

Enter below command to start program.

```

cargo run

```

### Example

```

AmaLog - simple amateur's logical model

(c) 2024 梶塚太智. All rights reserved

> !socrates = human

Facts: { socrates = human }

> !human = will die

Facts: { human = will die, socrates = human }

> ?socrates = will die

true

```