A parallel Prolog resolution based on multiple unifications

DOI10.1016/0167-8191(92)90070-NzbMath0793.68040DBLPjournals/pc/VlahavasK92OpenAlexW2008000244WikidataQ62864966 ScholiaQ62864966MaRDI QIDQ1195712

Could not fetch data.

Publication date: 19 January 1993

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-8191(92)90070-n

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.

This page was built for publication: A parallel Prolog resolution based on multiple unifications