https://github.com/kajizukataichi/amalog

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

expert-system logical-model logical-programming

Last synced: 14 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 (4 months ago)
• Default Branch: master
• Last Pushed: 2024-07-22T08:22:08.000Z (4 months ago)
• Last Synced: 2024-07-22T10:40:27.707Z (4 months ago)
• Topics: expert-system, logical-model, logical-programming
• Language: Rust
• Homepage:
• Size: 7.81 KB
• Stars: 1
• 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

```