DAP Prolog: A Set-oriented Approach to Prolog | Zendy

Péter Kacsuk | Zendy; Alan Bale | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

DAP Prolog: A Set-oriented Approach to Prolog

Author(s) -

Péter Kacsuk,

Alan Bale

Publication year - 1987

Publication title -

the computer journal

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.319

H-Index - 64

eISSN - 1460-2067

pISSN - 0010-4620

DOI - 10.1093/comjnl/30.5.393

Subject(s) - prolog , predicate (mathematical logic) , computer science , programming language , set (abstract data type) , first order logic , logic programming , definite clause grammar , theoretical computer science , context free grammar , parsing , context sensitive grammar

Prolog is based on first-order predicate logic and works by generating sets of values for variables expressed as arguments to rules. However, current Prolog systems, implemented on sequential machines, work by using the Left-toRight, Depth First (LRDF) search strategy and thus generate successive members of the solution set one at a time. This approach is unsuitable for implementation on many parallel machines.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research