Abstract:Advances in logic programming and increasing industrial uptake of Datalog-inspired approaches demonstrate the emerging need to express powerful code analyses more easily. Declarative program analysis frameworks (e.g., using logic programming like Datalog) significantly ease defining analyses compared to imperative implementations. However, the declarative benefits of these frameworks only materialize after parsing and translating source code to generate facts. Fact generation remains a non-declarative precursor to analysis where imperative implementations first parse and interpret program structures (e.g., abstract syntax trees and control-flow graphs). The procedure of fact generation thus remains opaque and difficult for non-experts to understand or modify. We present a new perspective on this analysis workflow by proposing declarative fact generation to ease specification and exploration of lightweight declarative analyses. Our approach demonstrates the first venture towards fully declarative analysis specification across multiple languages. The key idea is to translate source code directly to Datalog facts in the analysis domain using declarative syntax transformation. We then reuse existing Datalog analyses over generated facts, yielding an end-to-end declarative pipeline. As a first approximation we pursue a syntax-driven approach and demonstrate the feasibility of generating and using lightweight versions of liveness and call graph reachability properties. We then discuss the workability of extending declarative fact generation to also incorporate semantic information.

The Prolog Debugger and Declarative Programming. Examples

On Feasibility of Declarative Diagnosis

The Logic of Logic Programming

The Semantics of Metapropramming in Prolog

Declarative Diagnosis of Floundering

Teaching and learning mathematics with Prolog

A Survey of the Proof-Theoretic Foundations of Logic Programming

Reversible Language Extensions and their Application in Debugging

Logic As Programming

Debugging Functional Programs by Interpretation

Prolog for Verification, Analysis and Transformation Tools

Prolog Visualization System Using Logichart Diagrams

ALPprolog --- A New Logic Programming Method for Dynamic Domains

Logic Programming with Graph Automorphism: Integrating naut with Prolog (Tool Description)

Programming in Alma-0, or Imperative and Declarative Programming Reconciled

A note on the Declarative reading(s) of Logic Programming

Forty hours of declarative programming: Teaching Prolog at the Junior College Utrecht

A Comparison Between the Logic Programming Languages Gdel and Prolog

Towards Fully Declarative Program Analysis via Source Code Transformation

Building Conventional "experts" with a Dialogue Logic Programming Language

Declarative Probabilistic Logic Programming in Discrete-Continuous Domains