2025 Logic Program

1. 参会者

• 主办方：南京大学智能科学与技术学院，戴望州老师课题组
• 组织者：何语丛、苏浩
• 参与者：何语丛、宋奥齐、周桢瑜、苏浩、张欣爽、周昱辙、袁雪容、桑世杰、李墨晗、王炯达、邱昱宁、胡亦宽、苏珉乐

2. 注意事项

同时进行 2025 Summer 讨论班

3. 参考资料

• [1] The Power of Prolog
• [2] Craft 3
• [3] Potassco guide
• [4] ILASP systems

4. 安排

• 时间：7月1日开始，下午2点
• 地点：南雍楼东515
• 线上参会：腾讯会议 (993-1671-7810)，或点击链接入会 密码：6666

序号	时间	主讲人	参考	主题	展示
1	2025.07.01	苏珉乐 胡亦宽	[1] 0~5/16节	逻辑编程与 Prolog 基础 Introduction Facets of Prolog Logical Foundations Basic Concepts Data Structures Reading Prolog Programs Global Variables	slides
2	2025.07.05	苏浩	[1] 6~8/15/26节 [2] cut	Prolog 的程序写作 Writing Prolog Programs Termination Nontermination Sorting and Searching Logic Puzzles cut	slides
3	2025.07.07	周昱辙 宋奥齐	[1] 10~14节	Prolog 的逻辑纯度与调试 Higher-order Predicates Logical Purity Declarative Testing Declarative Debugging Definite Clause Grammars	slides
4	2025.07.09	张欣爽 桑世杰	[1] 17/18/21/25节	Prolog 的应用 Thinking in States Meta-interpreters Expert Systems Theorem Proving	slides
5	2025.07.11	袁雪容	[3] 1~3节	ASP 简介与 Clingo 语法入门 Introduction Quickstart Input Languages	slides
6	2025.07.15	周桢瑜 李墨晗	[3] 5~8节	进阶语法 Theory Solving Examples Command Line Options Errors, Warnings, and Infos	slides
7	2025.07.17	何语丛 王炯达	[3] 9~11节 [4] ILASP	ASP 的应用 Meta-Programming Heuristic-driven Solving Optimization and Preference Handling ILASP	slides

4. 以往研讨会资料

2025 Seminar