A goal-type driven method of solving Horn logic with equality

DOI10.1007/BF02945313zbMath0725.68087OpenAlexW2994540178MaRDI QIDQ2277873

Yunfa Hu

Publication date: 1990

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02945313

zbMATH Keywords

unificationresolutiongoal-type driven methodHorn logic with equality

Mathematics Subject Classification ID

Data structures (68P05)

This page was built for publication: A goal-type driven method of solving Horn logic with equality