逻辑编程语言

分类包含 2 篇文章

子分类： Prolog

Datalog

Curry (编程语言)