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

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

declarative-language unification

Last synced: about 1 month 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 (over 5 years ago)
• Default Branch: master
• Last Pushed: 2023-11-15T22:44:36.000Z (8 months ago)
• Last Synced: 2024-02-11T13:11:28.573Z (5 months ago)
• Topics: declarative-language, unification
• Language: Rust
• Size: 69.3 KB
• Stars: 0
• Watchers: 1
• Forks: 1
• Open Issues: 0
• Metadata Files:

Lists

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