scientific article; zbMATH DE number 970704

zbMath0862.68015MaRDI QIDQ5688889

Danny De Schreye, Maurice Bruynooghe, Bern Martens

Publication date: 25 May 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

finite SLD-treespartial deduction of logic programs

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

Related Items (2)

A general criterion for avoiding infinite unfolding during partial deduction ⋮ Loop checks for logic programs with functions

This page was built for publication: