A declarative approach for first-order built-in's of Prolog / K.R. Apt, E. Marchiori, C. Palamidessi
mainEntity
A declarative approach for first-order built-in's of Prolog / K.R. Apt, E. Marchiori, C. Palamidessi
about
author
contributor
inLanguage
mainEntityOfPage
name
A declarative approach for first-order built-in's of Prolog
numberOfPages
publication
sameAs
label
A declarative approach for fir ...... , E. Marchiori, C. Palamidessi