“Scrap Your Boilerplate” (SYB) is an established style of generic functional programming. The present paper reconstructs SYB within the Prolog language with the help of the univ operator and higher-order logic programming techniques. We pay attention to the particularities of Prolog. For instance, we deal with traversal of non-ground terms. We also develop an alternative model of SYB-like trave...

Light antinuclei, like antideuteron and antihelium-3, are ideal probes for new, exotic physics because their astrophysical backgrounds suppressed at low energies. In order to exploit fully the inherent discovery potential of light a reliable description production cross sections in cosmic ray interactions is crucial. We provide therefore antihelium-3 $pp$, $p$He, He$p$, HeHe, $\bar pp$ p$He col...