Prolog

释义

1. 一种基于逻辑的编程语言，用于人工智能应用，处理时判断真假。