首页| JavaScript| HTML/CSS| Matlab| PHP| Python| Java| C/C++/VC++| C#| ASP| 其他|
购买积分 购买会员 激活码充值

您现在的位置是:虫虫源码 > 其他 > Common Lisp的基本语言功能

Common Lisp的基本语言功能

  • 资源大小:72.00 B
  • 上传时间:2021-06-30
  • 下载次数:0次
  • 浏览次数:1次
  • 资源积分:1积分
  • 标      签: commonlisp 语言 功能 基本

资 源 简 介

This project has moved to github: https://github.com/wmannis/cl-gambol Gambol provides basic propositional unification and search capabilities for Common Lisp. The code is a modification of an older library from the CMU AI repository, Frolic. I have removed from Frolic some code specific to the Cray, as well as references to the "Frobs" system which gives Frolic its name. See AlterationsFromFrolic for all the changes I"ve made. A small taste: GAMBOL> (*- (mortal ?x) (human ?x))((MORTAL ?X) (HUMAN ?X))GAMBOL> (*- (human ?x) (man ?x))((HUMAN ?X) (MAN ?X))GAMBOL> (*- (human ?x) (woman ?x))((HUMAN ?X) (WOMAN ?X))GAMBOL> (*- (woman gertrude.stein))((WOMAN GERTRUDE.STEIN))GAMBOL> (*- (man socrates))((MAN SOCRATES))GAMBOL> (do-solve-all (?who) "((mortal ?who)) (format t "~A is mo

相 关 资 源

您 可 能 感 兴 趣 的

同 类 别 推 荐

VIP VIP
  • 猕猴桃 5小时前 成为了本站会员

  • 11 8小时前 成为了本站会员

  • 开心快活人 11小时前 成为了本站会员

  • 晋财 12小时前 成为了本站会员

  • WYG 1天前 成为了本站会员

  • Shine 1天前 成为了本站会员

  • 柳贻 1天前 成为了本站会员

  • hallelujah_HL 1天前 成为了本站会员

  • 焦昱贺 1天前 成为了本站会员

  • Rubin 1天前 成为了本站会员

0.211427s