research
∙
08/30/2023
A Dataflow Analysis for Comparing and Reordering Predicate Arguments
In this work, which is done in the context of a (moded) logic programmin...
share
research
∙
07/01/2021
Anti-unification of Unordered Goals
Anti-unification in logic programming refers to the process of capturing...
research
∙
07/24/2019
