On proving left termination of constraint logic programs

DOI10.1145/635499.635503zbMath1365.68151OpenAlexW1999783590MaRDI QIDQ5267429

Fred Mesnard, Salvatore Ruggieri

Publication date: 13 June 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/635499.635503

zbMATH Keywords

constraint logic programmingautomatic termination analysisleft terminationtermination inference

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

A non-termination criterion for binary constraint logic programs

This page was built for publication: On proving left termination of constraint logic programs