测试数据
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 的初级水平