A declarative approach for first-order built-in's of Prolog

Authors
Publication date 1994
Journal Applicable Algebra in Engineering, Communication and Computing
Volume | Issue number 5 | 3/4
Pages (from-to) 159-191
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Article
Published at https://doi.org/10.1007/BF01190828
Permalink to this page
Back