advancedresearch logo

avalog

An experimental implementation of Avatar Logic with a Prolog-like syntax (by advancedresearch)

Stats

Basic avalog repo stats
3
17
0.0
6 days ago

advancedresearch/avalog is an open source project licensed under GNU General Public License v3.0 or later which is an OSI approved license.

Posts

Posts where avalog has been mentioned. We have used some of these posts to build our list of alternatives and similar projects.
  • Closure Calculus formalized in Avalog (An experimental implementation of Avatar Logic)
    reddit.com/r/logic | 2021-04-07
  • Closure Calculus formalized in Avalog (An experimental implementation of Avatar Logic in Rust)
    reddit.com/r/math | 2021-04-07
    reddit.com/r/rust | 2021-04-07