Improving Prolog Programs: Refactoring for Prolog

Refactoring is an established technique from the OO-community to restructure code: it aims at improving software readability, maintainability and extensibility. Although refactoring is not tied to the OO-paradigm in particular, its ideas have not been applied to Logic Programming until now. This paper applies the ideas of refactoring to Prolog programs. A catalogue is presented listing refactorings classified according to scope. Some of the refactorings have been adapted from the OO-paradigm, while others have been specifically designed for Prolog. Also the discrepancy between intended and operational semantics in Prolog is addressed by some of the refactorings. In addition, ViPReSS, a semi-automatic refactoring browser, is discussed and the experience with applying \vipress to a large Prolog legacy system is reported. Our main conclusion is that refactoring is not only a viable technique in Prolog but also a rather desirable one.Comment: To appear in ICLP 200

Modules for Prolog Revisited

Module systems are an essential feature of programming languages as they facilitate the re-use of existing code and the development of general purpose libraries. Unfortunately, there has been no consensual module system for Prolog, hence no strong development of libraries, in sharp contrast to what exists in Java for instance. One difficulty comes from the call predicate which interferes with the protection of the code, an essential task of a module system. By distinguishing the called module code protection from the calling module code protection, we review the existing syntactic module systems for Prolog. We show that no module system ensures both forms of code protection, with the noticeable exceptions of Ciao-Prolog and XSB. We then present a formal module system for logic programs with calls and closures, define its operational semantics and formally prove the code protection property. Interestingly, we also provide an equivalent logical semantics of modular logic programs without calls nor closures, which shows how they can be translated into constraint logic programs over a simple module constraint system

Active Brownian Particles. From Individual to Collective Stochastic Dynamics

We review theoretical models of individual motility as well as collective dynamics and pattern formation of active particles. We focus on simple models of active dynamics with a particular emphasis on nonlinear and stochastic dynamics of such self-propelled entities in the framework of statistical mechanics. Examples of such active units in complex physico-chemical and biological systems are chemically powered nano-rods, localized patterns in reaction-diffusion system, motile cells or macroscopic animals. Based on the description of individual motion of point-like active particles by stochastic differential equations, we discuss different velocity-dependent friction functions, the impact of various types of fluctuations and calculate characteristic observables such as stationary velocity distributions or diffusion coefficients. Finally, we consider not only the free and confined individual active dynamics but also different types of interaction between active particles. The resulting collective dynamical behavior of large assemblies and aggregates of active units is discussed and an overview over some recent results on spatiotemporal pattern formation in such systems is given.Comment: 161 pages, Review, Eur Phys J Special-Topics, accepte

Spatial Navigation Based on Novelty Mediated Autobiographical Memory

Abstract. This paper presents a method for spatial navigation performed mainly on past experiences. The past experiences are remembered in their temporal context, i.e. as episodes of events. The learned episodes form an ac-tive autobiography that determines the future navigation behaviour. The epi-sodic and autobiographical memories are modelled to resemble the memory formation process that takes place in the rat hippocampus. The method im-plies naturally inferential reasoning in the robotic framework that may make it more flexible for navigation in unseen environments. The relation between novelty and life-long exploratory (latent) learning is shown to be important and therefore is incorporated into the learning process. As a result, active au-tobiography formation depends on latent learning while individual trials might be reward driven. The experimental results show that learning mediat-ed by novelty provides a flexible and efficient way to encode spatial informa-tion in its contextual relatedness and directionality. Therefore, performing a novel task is fast but solution is not optimal. In addition, learning becomes naturally a continuous process- encoding and retrieval phase have the same underlying mechanism, and thus do not need to be separated. Therefore, building a “life long ” autobiography is feasible.

Measurement of the top-quark mass using a leptonic invariant mass in pp collisions at s√ = 13 TeV with the ATLAS detector

A measurement of the top-quark mass (mt) in the tt¯ → lepton + jets channel is presented, with an experimental technique which exploits semileptonic decays of b-hadrons produced in the top-quark decay chain. The distribution of the invariant mass mℓμ of the lepton, ℓ (with ℓ = e, μ), from the W-boson decay and the muon, μ, originating from the b-hadron decay is reconstructed, and a binned-template profile likelihood fit is performed to extract mt. The measurement is based on data corresponding to an integrated luminosity of 36.1 fb−1 of s√ = 13 TeV pp collisions provided by the Large Hadron Collider and recorded by the ATLAS detector. The measured value of the top-quark mass is mt = 174.41 ± 0.39 (stat.) ± 0.66 (syst.) ± 0.25 (recoil) GeV, where the third uncertainty arises from changing the PYTHIA8 parton shower gluon-recoil scheme, used in top-quark decays, to a recently developed setup

Search for single vector-like B quark production and decay via B → bH(b¯b) in pp collisions at √s = 13 TeV with the ATLAS detector

A search is presented for single production of a vector-like B quark decaying into a Standard Model b-quark and a Standard Model Higgs boson, which decays into a b¯b pair. The search is carried out in 139 fb−1 of √s = 13 TeV proton-proton collision data collected by the ATLAS detector at the LHC between 2015 and 2018. No significant deviation from the Standard Model background prediction is observed, and mass-dependent exclusion limits at the 95% confidence level are set on the resonance production cross-section in several theoretical scenarios determined by the couplings cW, cZ and cH between the B quark and the Standard Model W, Z and Higgs bosons, respectively. For a vector-like B occurring as an isospin singlet, the search excludes values of cW greater than 0.45 for a B resonance mass (mB) between 1.0 and 1.2 TeV. For 1.2 TeV < mB < 2.0 TeV, cW values larger than 0.50–0.65 are excluded. If the B occurs as part of a (B, Y) doublet, the smallest excluded cZ coupling values range between 0.3 and 0.5 across the investigated resonance mass range 1.0 TeV < mB < 2.0 TeV

Evidence for the charge asymmetry in pp → tt¯ production at s√ = 13 TeV with the ATLAS detector

Inclusive and differential measurements of the top–antitop (tt¯) charge asymmetry Att¯C and the leptonic asymmetry Aℓℓ¯C are presented in proton–proton collisions at s√ = 13 TeV recorded by the ATLAS experiment at the CERN Large Hadron Collider. The measurement uses the complete Run 2 dataset, corresponding to an integrated luminosity of 139 fb−1, combines data in the single-lepton and dilepton channels, and employs reconstruction techniques adapted to both the resolved and boosted topologies. A Bayesian unfolding procedure is performed to correct for detector resolution and acceptance effects. The combined inclusive tt¯ charge asymmetry is measured to be Att¯C = 0.0068 ± 0.0015, which differs from zero by 4.7 standard deviations. Differential measurements are performed as a function of the invariant mass, transverse momentum and longitudinal boost of the tt¯ system. Both the inclusive and differential measurements are found to be compatible with the Standard Model predictions, at next-to-next-to-leading order in quantum chromodynamics perturbation theory with next-to-leading-order electroweak corrections. The measurements are interpreted in the framework of the Standard Model effective field theory, placing competitive bounds on several Wilson coefficients

Search for heavy resonances decaying into a Z or W boson and a Higgs boson in final states with leptons and b-jets in 139 fb−1 of pp collisions at s√ = 13 TeV with the ATLAS detector

This article presents a search for new resonances decaying into a Z or W boson and a 125 GeV Higgs boson h, and it targets the νν¯¯¯bb¯¯, ℓ+ℓ−bb¯¯, or ℓ±νbb¯¯ final states, where ℓ = e or μ, in proton-proton collisions at s√ = 13 TeV. The data used correspond to a total integrated luminosity of 139 fb−1 collected by the ATLAS detector during Run 2 of the LHC at CERN. The search is conducted by examining the reconstructed invariant or transverse mass distributions of Zh or Wh candidates for evidence of a localised excess in the mass range from 220 GeV to 5 TeV. No significant excess is observed and 95% confidence-level upper limits between 1.3 pb and 0.3 fb are placed on the production cross section times branching fraction of neutral and charged spin-1 resonances and CP-odd scalar bosons. These limits are converted into constraints on the parameter space of the Heavy Vector Triplet model and the two-Higgs-doublet model

Search for boosted diphoton resonances in the 10 to 70 GeV mass range using 138 fb−1 of 13 TeV pp collisions with the ATLAS detector

A search for diphoton resonances in the mass range between 10 and 70 GeV with the ATLAS experiment at the Large Hadron Collider (LHC) is presented. The analysis is based on pp collision data corresponding to an integrated luminosity of 138 fb−1 at a centre-of-mass energy of 13 TeV recorded from 2015 to 2018. Previous searches for diphoton resonances at the LHC have explored masses down to 65 GeV, finding no evidence of new particles. This search exploits the particular kinematics of events with pairs of closely spaced photons reconstructed in the detector, allowing examination of invariant masses down to 10 GeV. The presented strategy covers a region previously unexplored at hadron colliders because of the experimental challenges of recording low-energy photons and estimating the backgrounds. No significant excess is observed and the reported limits provide the strongest bound on promptly decaying axion-like particles coupling to gluons and photons for masses between 10 and 70 GeV

Search for light long-lived neutral particles that decay to collimated pairs of leptons or light hadrons in pp collisions at s√ = 13 TeV with the ATLAS detector

A search for light long-lived neutral particles with masses in the O(MeV–GeV) range is presented. The analysis targets the production of long-lived dark photons in the decay of a Higgs boson produced via gluon–gluon fusion or in association with a W boson. Events that contain displaced collimated Standard Model fermions reconstructed in the calorimeter or muon spectrometer are selected in 139 fb−1 of s√ = 13 TeV pp collision data collected by the ATLAS detector at the LHC. Background estimates for contributions from Standard Model processes and instrumental effects are extracted from data. The observed event yields are consistent with the expected background. Exclusion limits are reported on the production cross-section times branching fraction as a function of the mean proper decay length cτ of the dark photon, or as a function of the dark-photon mass and kinetic mixing parameter that quantifies the coupling between the Standard Model and potential hidden (dark) sectors. A Higgs boson branching fraction above 1% is excluded at 95% CL for a Higgs boson decaying into two dark photons for dark-photon mean proper decay lengths between 10 mm and 250 mm and dark photons with masses between 0.4 GeV and 2 GeV