AdaLogic BASIC（ALB）— 学习、分享、创造 开放工作坊
AdaLogic BASIC
AdaLogic BASIC（ALB 编程语言）是一种用于开发程序、游戏和应用的高级强类型 BASIC 方言。除了清晰易读的语法，它还提供使用 KNOWS 和 FIND 的 Prolog 风格逻辑编程、REQUIRE/ENSURE 契约，以及用于嵌入汇编、Ada、C 和 TypeScript 的 ENABLE/INLINE 代码块。
同一项目可以编译到十六种目标：通过 FASM 和 NASM 生成原生 x86-64，生成 C、浏览器中的 TypeScript/WebAssembly，以及 Ada、Java、.NET/C#、Rust、Python、Lua、MoonScript、Haskell、Odin、C3、6502 和 Brainfuck。请查看完整技术列表。
ALB 的独特之处
- 内置逻辑：事实、规则、Horn 子句和查询都是语言的一部分。
- 契约：可以为过程明确指定前置条件和后置条件。
- 多语言代码块：需要时可将 BASIC 与目标平台专用代码结合。
- 多种目标：从 WebAssembly 和 x86-64 到基于 6502 的复古系统。
ALB 新闻
精选示例
使用 ALB 开发的软件
使用 AdaLogic BASIC 编写的真实软件——由 ALB 工具链编译的桌面工具、编辑器和图形演示。
