申请试用
HOT
登录
注册
 
logic programming in LISP

logic programming in LISP

PrimaryNode
/
发布于
/
1742
人观看
A Lisp-based logic programming interpreter: An example of meta-linguistic abstraction Critical components of logic interpreter Predicate Calculus like facts and rules Horn clause form Queries processed by unification against facts and rules Successful goal returns unification substitutions Supporting technology for logic interpreter Streams Stream processing Stream of variables substitutions filtered through conjunctive subgoals gensym used to standardize variables apart Exercises expanding functionality of logic interpreter Adding and, not Additions of numeric and equality relations
5 点赞
0 收藏
0下载
相关文档
确认
3秒后跳转登录页面
去登陆