Romanian Journal of Information Technology and Automatic Control / Vol. 4, No. 2-3, 1994

An Algorithm for Parallel Unification

Ştefan Stelian DIACONESCU

Abstract:

Lucrarea prezintă un algoritm de unificare paralelă, utilizabil în cadrul unui sistem inferenţial paralel. Elementul de bază al unificării, luat în considerare, este argumentul de predicat. Toate argumentele a două predicate sunt unificate în paralel – grup de sarcini în U. Rezolvarea unui grup de sarcini în U permite stabilirea dacă două predicate sunt unificabile (ţinând cont inclusiv de testul de occur check), iar, în caz afirmativ, obţine toate informaţiile (substituţiile unificatoare) care permit rescrierea.

Keywords:
unificare, program logic, rezoluţie, clauze, predicate logice.

CITE THIS PAPER AS:
Ştefan Stelian DIACONESCU, "An Algorithm for Parallel Unification", Romanian Journal of Information Technology and Automatic Control, ISSN 1220-1758, vol. 4(2-3), pp. 55-64, 1994.