小编kjo*_*osh的帖子

clingo 中的聚合计数

测试数据

addEmployee(EmplID, Name1, Name2, TypeOfWork, Salary, TxnDate)
addEmployee("tjb1998", "eva", "mcdowell", "ra", 55000, 20).
addEmployee("tjb1987x", "ben", "xena", "cdt", 68000, q50).
addEmployee("tjb2112", "ryoko", "hakubi", "ra", 63000, 60).
addEmployee("tjb1987", "ben", "croshaw", "cdt", 68000, 90).
addEmployee("tjb3300m", "amane", "mauna", "ma", 61000, 105).
Run Code Online (Sandbox Code Playgroud)

我想根据工作类型和特定工作类型的员工数量对员工进行分组。例如:

ra 4
cdt 2
ma 1
Run Code Online (Sandbox Code Playgroud)

下面是我正在尝试运行的查询

employee(TOW) :- addEmployee(_,_,_,TOW,_,_).
nmbrEmployeesOfSameType (N) :- N = #count { employee(TOW) }.
Run Code Online (Sandbox Code Playgroud)

请指教,我是 Clingo 的初级水平

aggregate answer-set-programming clingo

4
推荐指数
1
解决办法
4810
查看次数

标签 统计

aggregate ×1

answer-set-programming ×1

clingo ×1