Fingerprinting Logic Programs

Alexander Serebrenik, Wim Vanhoof

Research output: Working paper


In this work we present work in progress on functionality duplication detection in logic programs. Eliminating duplicated functionality recently became prominent in context of refactoring. We describe a quantitative approach that allows to measure the 'similarity' between two predicate definitions. Moreover, we show how to compute a so-called 'fingerprint' for every predicate. Fingerprints capture those characteristics of the predicate that are significant when searching for duplicated functionality. Since reasoning on fingerprints is much easier than reasoning on predicate definitions, comparing the fingerprints is a promising direction in automated code duplication in logic programs.
Original languageEnglish
Place of PublicationSeatlle, Washington, USA
PublisherW. Vanhoof and S. Hernandez
Publication statusPublished - 2006


Dive into the research topics of 'Fingerprinting Logic Programs'. Together they form a unique fingerprint.

Cite this