是否有比Prolog更专用于逻辑编程的新语言？
paradigms programming-languages logic-programming
logic-programming ×1
paradigms ×1
programming-languages ×1