Arhivă
Revista Română de Informatică și Automatică / Vol. 4, Nr. 2-3, 1994
Un algoritm de unificare paralelă
Ştefan Stelian DIACONESCU
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.
Cuvinte cheie:
unificare, program logic, rezoluţie, clauze, predicate logice.
CITAREA ACESTUI ARTICOL SUNT URMĂTOARELE:
Ştefan Stelian DIACONESCU,
„Un algoritm de unificare paralelă”,
Revista Română de Informatică și Automatică,
ISSN 1220-1758,
vol. 4(2-3),
pp. 55-64,
1994.