Prolog with Arrays and Bounded Quantifications. Barklund, J. & Bevemyr, J. In volume 698, pages 28–39. Springer Berlin Heidelberg.
Prolog with Arrays and Bounded Quantifications [link]Paper  doi  abstract   bibtex   
It is proposed to add bounded quantifications to Prolog. The main reason is one of natural expression, many algorithms are expressed more elegantly in a declarative way using bounded quantifications than using existing means, i.e., recursion. In particular this is true for numerical algorithms, an area where Prolog has been virtually unsuccessful so far. Moreover, bounded quantification has been found to be at least as efficient as recursion, when applicable. We outline an implementation of bounded quantification through an extension of Warren's abstract Prolog machine and give performance figures relative to recursion. Finally, we have shown elsewhere that bounded quantification has a high potential for parallel implementation. One can often run the same program on a sequential computer and on several kinds of parallel computers.
@incollection{barklundPrologArraysBounded1993,
  title = {Prolog with Arrays and Bounded Quantifications},
  author = {Barklund, Jonas and Bevemyr, Johan},
  editor = {Voronkov, Andrei},
  date = {1993},
  volume = {698},
  pages = {28--39},
  publisher = {{Springer Berlin Heidelberg}},
  location = {{Berlin, Heidelberg}},
  doi = {10.1007/3-540-56944-8\\_39},
  url = {https://doi.org/10.1007/3-540-56944-8_39},
  abstract = {It is proposed to add bounded quantifications to Prolog. The main reason is one of natural expression, many algorithms are expressed more elegantly in a declarative way using bounded quantifications than using existing means, i.e., recursion. In particular this is true for numerical algorithms, an area where Prolog has been virtually unsuccessful so far. Moreover, bounded quantification has been found to be at least as efficient as recursion, when applicable. We outline an implementation of bounded quantification through an extension of Warren's abstract Prolog machine and give performance figures relative to recursion. Finally, we have shown elsewhere that bounded quantification has a high potential for parallel implementation. One can often run the same program on a sequential computer and on several kinds of parallel computers.},
  isbn = {978-3-540-56944-2},
  keywords = {*imported-from-citeulike-INRMM,~INRMM-MiD:c-11777854,array-programming,computational-science,prolog,software-engineering}
}

Downloads: 0