Dusa编程语言：图探索与逻辑编程的完美结合
2025-01-18
Dusa是一种由Rob Simmons和Chris Martens设计的逻辑编程语言，是有限选择逻辑编程的首次实现。它结合了Datalog和Answer Set Programming的特性，并可作为图探索语言使用。Dusa提供网页编辑器、命令行工具和JavaScript API，方便用户使用。对于熟悉Datalog或Answer Set Programming的用户，Dusa提供了熟悉易用的特性；对于不熟悉这两者的用户，Dusa则提供友好的图探索功能入门。
阅读更多