36 14.2.3 逻辑式型态 （ Logic Paradigm ） • 逻辑式型态 的程式语言代表为Prolog（PROgramming LOGic），Prolog 是在1972年，由Edinburgh大学的Robert A.
基于32个网页-相关网页
逻辑式型态
Logical form
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动