Logic Programming

DOI10.1007/b94619zbMath1204.68058OpenAlexW2889864133MaRDI QIDQ5191494

Fernando Silva, Ricardo Lopes, Vitor Costa

Publication date: 6 August 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b94619

zbMATH Keywords

Logic ProgrammingExtended Andorra ModelLanguage Implementation

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication: Logic Programming