查看会员资料
用 户 名：sidha*****
发送消息- Email：用户隐藏
- Icq/MSN：
- 电话号码：
- Homepage：
- 会员简介：
最新会员发布资源
fl-language_typed
- Prolog code defining syntax und semantics of the "factorial language" with welltyped predicates. Inspired by "Semantics With Applications" (Nielson).-Prolog code defining syntax und semantics of the "factorial language" with welltyped predicates.