SVlog: a logic programming framework for understanding structural variation in genomic disease

Abstract

Structural variants (SVs) are a diverse group of genetic variants defined by a minimum size of 50 base pairs. SVs account for the majority of all variant bases in a persons genome and are commonly implicated in inherited disease and cancer. However, SV analysis is complex due to their wide variation in type and size, degree of polymorphism, involvement of repetitive sequences, and the myriad ways they may elicit a functional impact, as well as technical factors like imprecise breakpoint detection, and alternative representations of the same event. Despite recent advances in the detection and characterisation of SVs, it remains difficult to assess them beyond basic annotations and comparisons. Here we introduce SVlog, a transparent and extensible meta-programming framework for SV analysis. With the logic programming language Souffle as its engine, SVlog provides a declarative ontology describing relationships among SVs, genes and other genomic elements. Genome annotations and SV datasets - both user-provided and public reference data - are converted into relational facts, to which SVlog applies logical rules that define predicates. Predicates are specific, transparent and deterministic, yet fully flexible and composable, enabling detailed evaluation of SVs without relying on stochastic "black box" approaches. To showcase SVlog, we have developed a ready-made predicate library for SV annotation, comparison and prioritisation in the context of rare inherited disease. Despite its compact codebase, SVlog evaluates more than 50 input predicates to generate over 70 informative output predicates. It synthesises evidence from population and clinical genomic databases, and applies a tiered filtering strategy to identify candidate pathogenic SVs in patients with inherited disease. By focusing on explainability and modularity, SVlog offers a fast, reliable library for SV analysis and is a powerful deterministic alternative to traditional bioinformatics pipelines for clinical variant curation.