integraal/integraal-forward-chaining/src/test/resources/knowledge_bases/lubm-001/queries/q04.dlgp

+?(X,Y1,Y2,Y3) :-
+    professor(X),
+    worksfor(X,"department0-university0"),
+    name(X,Y1),
+    emailaddress(X,Y2),
+    telephone(X,Y3) .

integraal/integraal-forward-chaining/src/test/resources/knowledge_bases/lubm-001/queries/q05.dlgp

+?(X) :-
+    person(X),
+    memberof(X,"department0-university0") .

integraal/integraal-forward-chaining/src/test/resources/knowledge_bases/lubm-001/queries/q06.dlgp

+?(X) :-
+    student(X) .

integraal/integraal-forward-chaining/src/test/resources/knowledge_bases/lubm-001/queries/q07.dlgp

+?(X,Y) :-
+    student(X),
+    course(Y),
+    takescourse(X,Y),
+    teacherof("department0-university0-associateprofessor0",Y) .

integraal/integraal-forward-chaining/src/test/resources/knowledge_bases/lubm-001/queries/q08.dlgp

+?(X,Y,Z) :-
+    student(X),
+    department(Y),
+    memberof(X,Y),
+    suborganizationOf(Y,"university0"),
+    emailaddress(X,Z) .

integraal/integraal-forward-chaining/src/test/resources/knowledge_bases/lubm-001/queries/q09.dlgp

+?(X,Y,Z) :-
+    student(X),
+    faculty(Y),
+    course(Z),
+    advisor(X,Y),
+    teacherof(Y,Z),
+    takescourse(X,Z) .

integraal/integraal-forward-chaining/src/test/resources/knowledge_bases/lubm-001/queries/q10.dlgp

+?(X) :-
+    student(X),
+    takescourse(X,"department0-university0-graduatecourse0") .

integraal/integraal-forward-chaining/src/test/resources/knowledge_bases/lubm-001/queries/q11.dlgp

+?(X) :-
+    researchgroup(X),
+    suborganizationof(X,"university0") .

integraal/integraal-forward-chaining/src/test/resources/knowledge_bases/lubm-001/queries/q12.dlgp

+?(X,Y) :-
+    chair(X),
+    department(Y),
+    worksfor(X,Y),
+    suborganizationof(Y,"university0") .

integraal/integraal-forward-chaining/src/test/resources/knowledge_bases/lubm-001/queries/q13.dlgp

+?(X) :-
+    person(X),
+    hasalumnus("university0",X) .