["The 2.PAK Language: Goals and Description", L.F. Melli, Proc IJCAI 1975].
This article (or an earlier version of it) contains material from FOLDOC, used with permission. Update as needed.