https://github.com/ray-kast/AbsoluteUnity

Think Prolog, but less capable.
https://github.com/ray-kast/AbsoluteUnity

declarative-language unification

Last synced: about 2 months ago
JSON representation

Think Prolog, but less capable.

• Host: GitHub
• URL: https://github.com/ray-kast/AbsoluteUnity
• Owner: ray-kast
• Created: 2018-11-25T07:39:42.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2023-11-15T22:44:36.000Z (11 months ago)
• Last Synced: 2024-05-22T21:32:53.921Z (4 months ago)
• Topics: declarative-language, unification
• Language: Rust
• Size: 69.3 KB
• Stars: 0
• Watchers: 1
• Forks: 1
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - AbsoluteUnity - think Prolog, but less capable. (Projects / Libraries)