P
📝 描述
Short article by Dale Miller, arguing that logic programming languages should base their semantics on proof theory, not model theory.
⭐ 用户评价
暂无评价