Lean4 Datalog DSL Based on Google Zanzibar for ИИ Projects

Заголовок: Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects

Кратко: Google Zanzibar datalog lang lets you describe concepts and express how they are related. I generalize it to DSL you can use on Lean4 (and other languages) this lets you represent a knowledge base you can construct, store and evaluate, have it under git and improve without big en

Детали: Google Zanzibar datalog lang lets you describe concepts and express how they are related. I generalize it to DSL you can use on Lean4 (and other languages) this lets you represent a knowledge base you can construct, store and evaluate, have it under git and improve without big engines or relaying on external infrastructure. Google's Zanzibar paper: https://storage.googleapis.com/gweb-research2023-media/pubto... Comments URL: https://news.ycombinator.com/item?id=49092730 Points: 7 # Comments: 0