Answer Synthesis for CLP Programs with Negation

DOI10.1093/JIGPAL/5.3.1-CzbMath0874.68063OpenAlexW1984440958MaRDI QIDQ4340538

Gilles Richard, Frédéric Saubion

Publication date: 3 July 1997

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/03e196759db9cc3b5d9960f27fe4faea8adf7257

zbMATH Keywords

constraint logic programmingrewrite techniques

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication: Answer Synthesis for CLP Programs with Negation