P
📝 描述
Prolog with Features Inheritance, and Templates: Prolog extension with sorted feature structures (including multi-dimensional inheritance), finite domains, feature search, cyclic terms, templates.
⭐ 用户评价
暂无评价