Anti-unification in logic programming refers to the process of capturing common syntactic structure among given goals, computing a single new goal that is more general called a generalization of the given goals. Finding an arbitrary common generalization for two goals is trivial, but looking for tho...
Research Assistant
AI chat, annotations, notes & similar papers
No comments yet
Be the first to share your thoughts!