Maximal unifiable subsets and minimal non-unifiable subsets

DOI10.1007/BF03037439zbMath0591.68083MaRDI QIDQ1075061

B. George

Publication date: 1986

Published in: New Generation Computing (Search for Journal in Brave)

zbMATH Keywords

unificationlogic programsbacktrackingsearch spacebreadth first resolution

Mathematics Subject Classification ID

Related Items (2)

An improved data-dependency-based backtracking scheme for Prolog ⋮ Source-tracking unification

Cites Work

• Closures and fairness in the semantics of programming logic
• Unnamed Item
• Unnamed Item

This page was built for publication: Maximal unifiable subsets and minimal non-unifiable subsets