1. NEED TO GO THROUGH A FILTER.
INPROCEEDINGS[
    INPROCID(@inprocid [KEY]=x1){functional},
    TITLE(@title=x2){functional},
    BOOKTITLE(@booktitle=x3){functional},
    YEAR(@year=x4){functional},
    MONTH(@month=x5){functional},
    PAGES(@pages=x6){functional},
    VOL(@vol=x7){functional},
    NUM(@num=x8){functional}]
:-
Year-Number(Y1),Proceedings(Y2),Article(Y3),
Month-Name(Y4),Timepoint(Y5),hasArticles(Y2,Y3),
Doc.Publication-Date(Y3,Y5),Timepoint.Year(Y5,Y1),Timepoint.Month(Y5,Y4),
year.number(Y1,x4),Doc.Title(Y2,x3),Doc.Title(Y3,x2),
Doc.key(Y3,x1),Doc.Number-Of-Pages(Y3,x6),month.name(Y4,x5).