GNU Radio Signal Processing Models for Dynamic Multi-User Burst Modems [PDF]
arXiv, 2016 This paper presents a modern method for implementing burst modems in GNU Radio. Since burst modems are widely used for multi-user channel access and sharing in non-broadcast radio systems, this capability is critical to the development of numerous waveforms in GNU Radio.
arxiv
The Prolog Debugger and Declarative Programming. Examples [PDF]
arXiv, 2020 This paper contains examples for a companion paper "The Prolog Debugger and Declarative Programming", which discusses (in)adequacy of the Prolog debugger for declarative programming. Logic programming is a declarative programming paradigm. Programming language Prolog makes logic programming possible, at least to a substantial extent.
arxiv
An Architecture for Making Object-Oriented Systems Available from Prolog [PDF]
arXiv, 2002 It is next to impossible to develop real-life applications in just pure Prolog. With XPCE we realised a mechanism for integrating Prolog with an external object-oriented system that turns this OO system into a natural extension to Prolog. We describe the design and how it can be applied to other external OO systems.
arxiv
Semantic wikis as flexible database interfaces for biomedical applications. [PDF]
Sci Rep, 2023 Falda M, Atzori M, Corbetta M.
europepmc +1 more source
Prolog Visualization System Using Logichart Diagrams [PDF]
arXiv, 2009 We have developed a Prolog visualization system that is intended to support Prolog programming education. The system uses Logichart diagrams to visualize Prolog programs. The Logichart diagram is designed to visualize the Prolog execution flow intelligibly and to enable users to easily correlate the Prolog clauses with its parts.
arxiv
The BinProlog Experience: Architecture and Implementation Choices for Continuation Passing Prolog and First-Class Logic Engines [PDF]
arXiv, 2011 We describe the BinProlog system's compilation technology, runtime system and its extensions supporting first-class Logic Engines while providing a short history of its development, details of some of its newer re-implementations as well as an overview of the most important architectural choices involved in their design. With focus on its differences
arxiv
Data structure set-trie for storing and querying sets: Theoretical and empirical analysis. [PDF]
PLoS One, 2021 Savnik I +3 more
europepmc +1 more source
Logic Programming with Graph Automorphism: Integrating naut with Prolog (Tool Description) [PDF]
arXiv, 2016 This paper presents the plnauty~library, a Prolog interface to the nauty graph-automorphism tool. Adding the capabilities of nauty to Prolog combines the strength of the "generate and prune" approach that is commonly used in logic programming and constraint solving, with the ability to reduce symmetries while reasoning over graph objects.
arxiv
The GNU Prolog system and its implementation [PDF]
, 2000 Daniel Díaz, Philippe Codognet
openalex +1 more source
Towards an Efficient Prolog System by Code Introspection [PDF]
arXiv, 2014 To appear in Theory and Practice of Logic Programming (TPLP). Several Prolog interpreters are based on the Warren Abstract Machine (WAM), an elegant model to compile Prolog programs. In order to improve the performance several strategies have been proposed, such as: optimize the selection of clauses, specialize the unification, global analysis, native ...
arxiv