scientific article

zbMath0983.68598MaRDI QIDQ2767050

Manuel V. Hermenegildo, Daniel Cabeza

Publication date: 28 January 2002

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

zbMATH Keywords

modulesPrologseparate compilationCiao-Prologglobal analysis and transformationmodular program processing

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Logic programming (68N17)

Related Items (7)

Fuzzy Prolog: A new approach using soft constraints propagation ⋮ Incremental Analysis of Logic Programs with Assertions and Open Predicates ⋮ Fifty Years of Prolog and Beyond ⋮ Semantic code browsing ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: