author(aname:PK) :- Author(x),aname(x,aname)::identifier(x,aname). author_confJour(jname:PK,aname) :- Author_ConfJour(x),jname(x,jname),Author(y), aname(y,aname),for_author(x,y)::identifier(x,jname), identifier(y,aname). confJour_year(yr:PK,jname) :- ConfJour_Year(x),yr(x,yr),Author_ConfJour(y), jname(y,jname),for_confJour(x,y)::identifier(x,yr), identifier(y,jname). author_year(ayr:PK,aname) :- Author_Year(x),ayr(x,ayr),Author(y), aname(y,aname),year_for_author(x,y)::identifier(x,ayr), identifier(y,aname). year_confJour(yjname,ayr) :- Year_ConfJour(x),yjname(x,yjname),Author_Year(y), ayr(y,ayr),confJour_for_year(x,y)::identifier(x,yjname), identifier(y,ayr). org(orgname:PK,jname:PK,yr:PK) :- Org(X1),orgname(X1,orgname),Author_ConfJour(X2), jname(X2,jname),has_journal(X1,X2), ConfJour_Year(X3),yr(X3,yr), has_year(X1,X3)::identifier(X1,orgname), identifier(X2,jname),identifier(X3,yr). pub(pub_id:PK,title,pages,cdrom,url,yr,yjname) :- Pub(x), pub_id(x,pub_id), title(x,title), pages(x,pages), cdrom(x,cdrom),url(x,url),ConfJour_Year(y), in_year(x,y),Year_ConfJour(z),in_confJour(x,z), yr(y,yr),yjname(z,yjname)::identifier(x,pub_id), identifier(y,yr),identifier(z,yjname). org_journal(orgname:PK,jname:PK) :- Org(X1),orgname(X1,orgname),Author_ConfJour(X2), jname(X2,jname),has_journal(X1,X2)::identifier(X1,orgname), identifier(X2,jname). org_year(orgname:PK,yr:PK) :- Org(X1),orgname(X1,orgname), ConfJour_Year(X3),yr(X3,yr), has_year(X1,X3)::identifier(X1,orgname), identifier(X3,yr).