BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Jose F. Morales

Jose F. Morales appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
hep-thProgramming LanguagesArtificial IntelligenceLogic in Computer Science

Catalog footprint

What is connected

21works
4topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

21 published item(s)

preprint2022arXiv

Fifty Years of Prolog and Beyond

Both logic programming in general, and Prolog in particular, have a long and fascinating history, intermingled with that of many disciplines they inherited from or catalyzed. A large body of research has been gathered over the last 50 years, supported by many Prolog implementations. Many implementations are still actively developed, while new ones keep appearing. Often, the features added by different systems were motivated by the interdisciplinary needs of programmers and implementors, yielding systems that, while sharing the "classic" core language, and, in particular, the main aspects of the ISO-Prolog standard, also depart from each other in other aspects. This obviously poses challenges for code portability. The field has also inspired many related, but quite different languages that have created their own communities. This article aims at integrating and applying the main lessons learned in the process of evolution of Prolog. It is structured into three major parts. Firstly, we overview the evolution of Prolog systems and the community approximately up to the ISO standard, considering both the main historic developments and the motivations behind several Prolog implementations, as well as other logic programming languages influenced by Prolog. Then, we discuss the Prolog implementations that are most active after the appearance of the standard: their visions, goals, commonalities, and incompatibilities. Finally, we perform a SWOT analysis in order to better identify the potential of Prolog, and propose future directions along which Prolog might continue to add useful features, interfaces, libraries, and tools, while at the same time improving compatibility between implementations.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Proceedings 38th International Conference on Logic Programming

ICLP is the premier international event for presenting research in logic programming. Contributions to ICLP 2022 were sought in all areas of logic programming, including but not limited to: Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. Languages issues: Concurrency, Objects, Coordination, Mobility, Higher order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming techniques. Programming support: Program analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization. Implementation: Compilation, Virtual machines, Memory management, Parallel and Distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. Related Paradigms and Synergies: Inductive and coinductive logic programming, Constraint logic programming, Answer set programming, Interaction with SAT, SMT and CSP solvers, Theorem proving, Argumentation, Probabilistic programming, Machine learning. Applications: Databases, Big data, Data integration and federation, Software engineering, Natural language processing, Web and semantic web, Agents, Artificial intelligence, Computational life sciences, Cyber-security, Robotics, Education.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Semantic Code Browsing

Programmers currently enjoy access to a very high number of code repositories and libraries of ever increasing size. The ensuing potential for reuse is however hampered by the fact that searching within all this code becomes an increasingly difficult task. Most code search engines are based on syntactic techniques such as signature matching or keyword extraction. However, these techniques are inaccurate (because they basically rely on documentation) and at the same time do not offer very expressive code query languages. We propose a novel approach that focuses on querying for semantic characteristics of code obtained automatically from the code itself. Program units are pre-processed using static analysis techniques, based on abstract interpretation, obtaining safe semantic approximations. A novel, assertion-based code query language is used to express desired semantic characteristics of the code as partial specifications. Relevant code is found by comparing such partial specifications with the inferred semantics for program elements. Our approach is fully automatic and does not rely on user annotations or documentation. It is more powerful and flexible than signature matching because it is parametric on the abstract domain and properties, and does not require type definitions. Also, it reasons with relations between properties, such as implication and abstraction, rather than just equality. It is also more resilient to syntactic code differences. We describe the approach and report on a prototype implementation within the Ciao system. Under consideration for acceptance in TPLP.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Description and Optimization of Abstract Machines in a Dialect of Prolog

In order to achieve competitive performance, abstract machines for Prolog and related languages end up being large and intricate, and incorporate sophisticated optimizations, both at the design and at the implementation levels. At the same time, efficiency considerations make it necessary to use low-level languages in their implementation. This makes them laborious to code, optimize, and, especially, maintain and extend. Writing the abstract machine (and ancillary code) in a higher-level language can help tame this inherent complexity. We show how the semantics of most basic components of an efficient virtual machine for Prolog can be described using (a variant of) Prolog. These descriptions are then compiled to C and assembled to build a complete bytecode emulator. Thanks to the high level of the language used and its closeness to Prolog, the abstract machine description can be manipulated using standard Prolog compilation and optimization techniques with relative ease. We also show how, by applying program transformations selectively, we obtain abstract machine implementations whose performance can match and even exceed that of state-of-the-art, highly-tuned, hand-crafted emulators.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Branes, U-folds and hyperelliptic fibrations

We construct a class of supersymmetric vacua of type IIB string theory describing systems of three- and seven-branes non-perturbatively completed by brane instantons. The vacua are specified by a set of holomorphic functions defined over a complex plane up to non-trivial U-duality monodromies around the brane locations. In the simplest setting, the solutions can be seen as a generalization of F-theory elliptic fibrations, where the torus fiber is replaced by a genus two Riemann surface with periods encoding the information on the axio-dilaton, the warp factor and the NS-NS and R-R fluxes.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Deformed Seiberg-Witten Curves for ADE Quivers

We derive Seiberg-Witten like equations encoding the dynamics of N=2 ADE quiver gauge theories in presence of a non-trivial Omega-background along a two dimensional plane. The epsilon-deformed prepotential and the chiral correlators of the gauge theory are extracted from difference equations that can be thought as a non-commutative (or quantum) version of the Seiberg-Witten curves for the quiver.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Lightweight compilation of (C)LP to JavaScript

We present and evaluate a compiler from Prolog (and extensions) to JavaScript which makes it possible to use (constraint) logic programming to develop the client side of web applications while being compliant with current industry standards. Targeting JavaScript makes (C)LP programs executable in virtually every modern computing device with no additional software requirements from the point of view of the user. In turn, the use of a very high-level language facilitates the development of high-quality, complex software. The compiler is a back end of the Ciao system and supports most of its features, including its module system and its rich language extension mechanism based on packages. We present an overview of the compilation process and a detailed description of the run-time system, including the support for modular compilation into separate JavaScript code. We demonstrate the maturity of the compiler by testing it with complex code such as a CLP(FD) library written in Prolog with attributed variables. Finally, we validate our proposal by measuring the performance of some LP and CLP(FD) benchmarks running on top of major JavaScript engines.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

A special road to AdS vacua

We apply the techniques of special Kaehler geometry to investigate AdS_4 vacua of general N=2 gauged supergravities underlying flux compactifications of type II theories. We formulate the scalar potential and its extremization conditions in terms of a triplet of prepotentials P_x and their special Kaehler covariant derivatives only, in a form that recalls the potential and the attractor equations of N=2 black holes. We propose a system of first order equations for the P_x which generalize the supersymmetry conditions and yield non-supersymmetric vacua. Special geometry allows us to recast these equations in algebraic form, and we find an infinite class of new N=0 and N=1 AdS_4 solutions, displaying a rich pattern of non-trivial charges associated with NSNS and RR fluxes. Finally, by explicit evaluation of the entropy function on the solutions, we derive a U-duality invariant expression for the cosmological constant and the central charges of the dual CFT's.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

D1D5 microstate geometries from string amplitudes

We reproduce the asymptotic expansion of the D1D5 microstate geometries by computing the emission amplitudes of closed string states from disks with mixed D1D5 boundary conditions. Thus we provide a direct link between the supergravity and D-brane descriptions of the D1D5 microstates at non-zero string coupling. Microscopically, the profile functions characterizing the microstate solutions are encoded in the choice of a condensate for the twisted open string states connecting D1 and D5 branes.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Stringy instanton corrections to N=2 gauge couplings

We discuss a string model where a conformal four-dimensional N=2 gauge theory receives corrections to its gauge kinetic functions from "stringy" instantons. These contributions are explicitly evaluated by exploiting the localization properties of the integral over the stringy instanton moduli space. The model we consider corresponds to a setup with D7/D3-branes in type I' theory compactified on T4/Z2 x T2, and possesses a perturbatively computable heterotic dual. In the heteoric side the corrections to the quadratic gauge couplings are provided by a 1-loop threshold computation and, under the duality map, match precisely the first few stringy instanton effects in the type I' setup. This agreement represents a very non-trivial test of our approach to the exotic instanton calculus.

0 citations0 reviewsNo code linkedOpen access
preprint2004arXiv

Higher Spin Symmetry and N=4 SYM

We assemble the spectrum of single-trace operators in free N=4 SU(N) SYM theory into irreducible representations of the Higher Spin symmetry algebra hs(2,2|4). Higher Spin representations or YT-pletons are associated to Young tableaux (YT) corresponding to representations of the symmetric group compatible with the cyclicity of color traces. After turning on interactions, YT-pletons decompose into infinite towers of representations of the superconformal algebra PSU(2,2|4) and anomalous dimensions are generated. We work out the decompositions of tripletons with respect to the N=4 superconformal algebra PSU(2,2|4) and compute their one anomalous dimensions at large N. We then focus on operators/states sitting in semishort superconformal multiplets. By passing them through a semishort-sieve that removes superdescendants, we derive compact expressions for the partition function of semishort primaries.

0 citations0 reviewsNo code linkedOpen access
preprint2004arXiv

Instantons on Quivers and Orientifolds

We compute the prepotential for gauge theories descending from ${\cal N}=4$ SYM via quiver projections and mass deformations. This accounts for gauge theories with product gauge groups and bifundamental matter. The case of massive orientifold gauge theories with gauge group SO/Sp is also described. In the case with no gravitational corrections the results are shown to be in agreement with Seiberg-Witten analysis and previous results in the literature.

0 citations0 reviewsNo code linkedOpen access
preprint2003arXiv

On stringy AdS_5 x S^5 and higher spin holography

We derive the spectrum of Kaluza-Klein descendants of string excitations on AdS_5 x S^5. String states are organized in long multiplets of the AdS supergroup SU(2,2|4,R) with a rich pattern of shortenings at the higher spin enhancement point λ=0. The string states holographically dual to the higher spin currents of SYM theory in the strict zero coupling limit are identified together with the corresponding Goldstone particles responsible for the Higgsing of the higher spin symmetry at λ\neq 0. Exploiting higher spin symmetry we propose a very simple yet effective mass formula and establish a one-to-one correspondence between the complete spectrum of Δ_0 <= 4 string states and relevant/marginal single-trace deformations in N=4 SYM theory at large N. To this end, we describe how to efficiently enumerate scaling operators in `free' YM theory, with the inclusion of fermionic `letters', by resorting to Polya theory. Comparison between the spectra of 1/4-BPS states is also presented. Finally, we discuss how to organize the spectrum of N=4 SYM theory in SU(2,2|4,R) supermultiplets by means of some kind of `Eratostenes's sieve'.

0 citations0 reviewsNo code linkedOpen access
preprint2003arXiv

String Theory on Dp-plane waves

We study the spectrum of solvable string models on plane waves descending from non-conformal Dp-brane geometries. We mainly focus on S-dual F1/D1-waves in type IIB and type I/heterotic 10D superstrings. We derive the Kaluza-Klein spectrum of N=1,2 10D supergravities on D1/F1-waves. We compute helicity supertraces counting multiplicities and R-charges of string excitations in the plane wave geometry. The results are compared against the expectations coming from gauge/supergravity descriptions. In the type I case, the Klein, Annulus and Moebius one-loop amplitudes are computed for ten-dimensional D1-waves. We test the consistency of the open string descendant by showing that after modular transformations to the closed string channel, the three amplitudes combine themselves to reconstruct a complete square (|B>+|C>)^2. Tadpole conditions are also discussed.

0 citations0 reviewsNo code linkedOpen access
preprint2002arXiv

AdS Duals of Matrix Strings

We review recent work on the holographic duals of type II and heterotic matrix string theories described by warped AdS_3 supergravities. In particular, we compute the spectra of Kaluza-Klein primaries for type I, II supergravities on warped AdS_3xS^7 and match them with the primary operators in the dual two-dimensional gauge theories. The presence of non-trivial warp factors and dilaton profiles requires a modification of the familiar dictionary between masses and ``scaling'' dimensions of fields and operators. We present these modifications for the general case of domain wall/QFT correspondences between supergravities on warped AdS_{d+1}xS^q geometries and super Yang-Mills theories with 16 supercharges.

0 citations0 reviewsNo code linkedOpen access
preprint2002arXiv

Supergravity Duals of Matrix String Theory

We study the holographic duals of type II and heterotic matrix string theories described by warped AdS_3 supergravities. By explicitly solving the linearized equations of motion around near horizon D-string geometries, we determine the spectrum of Kaluza-Klein primaries for type I, II supergravities on warped AdS_3 x S^7. The results match those coming from the dual two-dimensional gauge theories living on the D-string worldvolumes. We briefly discuss the connections with the N=(8,8), N=(8,0) orbifold superconformal field theories to which type IIB / heterotic matrix strings flow in the infrared. In particular, we associate the dimension (3/2, 3/2) twisted operator which brings the matrix string theories out from the conformal point (R^8)^N / S_N with the dilaton profile in the supergravity background. The familiar dictionary between masses and scaling dimensions of fields and operators are modified by the presence of non-trivial warp factors and running dilatons. These modifications are worked out for the general case of domain wall / QFT correspondences between supergravities on warped AdS_{d+1} x S^q geometries and super Yang-Mills theories with 16 supercharges.

0 citations0 reviewsNo code linkedOpen access
preprint2001arXiv

D-instanton probes of N=2 non-conformal geometries

D-instanton calculus has proved to be able to probe the AdS near horizon geometry for $N$ D-branes systems which, when decoupled from gravity, yield four dimensional superconformal gauge theories with various matter content. In this work we extend previous analysis to encompass fractional brane models which give rise to non conformal N=2 Super Yang-Mills theories. Via D-instanton calculus we study the geometry of such models for finite $N$ and recover the $β$ function of the gauge coupling constants which is expected in non conformal gauge theories. We also give a topological matrix theory formulation for the D-instanton action of these theories. Finally, we revisit the related system where the D3-branes wrap a ${\real}^4/{\zet}_p$ orbifold singularity and the D(-1) branes are associated to instanton solutions of four-dimensional gauge theories in the blown down ALE space.

0 citations0 reviewsNo code linkedOpen access
preprint2001arXiv

Walls from fluxes: An analytic RG-flow

We construct supergravity solutions describing the near horizon limit of D1D5 systems with non-trivial boundary conditions. Upon reduction to five dimensions they define Melvin universes with NS--NS/RR fluxes, that smoothly interpolate between two different AdS_3 geometries which define fixed points for the RG--flow of the dual field theory. We discuss the decoupling limits at the two ends of the flow. We also present a systematic study of the global properties of our solution. In particular we show how, although the AdS_3 x S^3 global isometry group is broken down to SU(2)_R x U(1)^3 by global identifications, a full two-dimensional conformal group of isometries, with the expected central charge, is restored at infinity.

0 citations0 reviewsNo code linkedOpen access
preprint1996arXiv

Higher Derivative F-terms in N=2 Strings

We study a special class of higher derivative F-terms of the form $F_{g,n}W^{2g}(Πf)^{n}$ where W is the N=2 gravitational superfield and $Π$ is the chiral projector applied to a non-holomorphic function $f$ of the heterotic dilaton vector superfield. We analyze these couplings in the heterotic theory on $K3\times T^2$ , where it is found they satisfy an anomaly equation as the well studied $F_{g,0}$ terms. We recognize that, near a point of SU(2) enhancement, a given generating function of the leading singularity of the $F_{g,n}$ reproduces the free energy of a c=1 string at an arbitrary radius R. According to the N=2 heterotic-type II duality in 4d, we then study these couplings near a conifold singularity, using its local description in terms of intersecting D-5-branes. In this context, it turns out that there exists, among the other states involved, a vector gauge field reproducing the heterotic leading singularity structure.

0 citations0 reviewsNo code linkedOpen access