Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Meissner A.

1 2006

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: prosty system wnioskujący

Sortuj według:

Ogranicz wyniki do:

Zrównoleglanie obliczeń w prostym systemie wnioskującym

Meissner A.

Studia z Automatyki i Informatyki

2006

T. 31

63-78

W artykule przedstawiono prosty system wnioskujący dla logiki pierwszego rzędu, którego pierwowzorem jest prologowy program lean TAP autorstwa Beckerta i Possegi. System zaiplmementowano w języku Oz w paradygmacie relacyjnym, będącym częścią metodyki programowania wieloparadygmatowego. Podejście to pozwala na zadawanie strategii obliczeniowej jako parametru wykonania programu. W konsekwencji, obliczenia mogą być prowadzone na różne sposoby, w tym także równolegle w środowisku rozproszonym. Zmiana strategii obliczeniowej, podobnie jak zmiana konfiguracji środowiska praktycznie nie wymaga modyfikowania kodu programu. W pracy przedstawiono także wstępne wyniki eksperymentów mających na celu zbadanie efektywności opisywanego rozwiązania.

We present a simple inference system for the first order logic based on a Prolog program called lean TAP (by Beckert and Possega). The system is implemented in the Oz language using the relational programming paradigm, which is a part of the multiparadigm programming methodology. In this approach a computational strategy is given to a program as an execution parameter. Therefore, computations in the system may be performed according to various strategies, also in parallel on distributed machines. Moreover, the exchange of strategies as well as modifications of the computational environment nearly do not affect the code. We also describe some initial results of experiments intended for estimating the efficiency of the presented solution.