申请试用
HOT
登录
注册
 
逻辑编程语言
1 / 40

逻辑编程语言

Andy
/
发布于
6年前
/
2115
人观看
Symbolic logic provides basis for logic programming. Logic programs should be nonprocedural. Prolog statements are facts, rules, or goals. Resolution is the primary activity of a Prolog interpreter. Although there are a number of drawbacks with the current state of logic .programming it has been used in a number of areas.
0点赞
0收藏
0下载
相关推荐