scientific article; zbMATH DE number 1497834

zbMath0958.68033MaRDI QIDQ4499257

Manuel V. Hermenegildo, Daniel Cabeza

Publication date: 6 March 2001

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

zbMATH Keywords

PrologCiao module system

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Unnamed Item

Uses Software

• Mercury
• Ciao
• CiaoPP
• SICStus
• XSB

Cites Work

• Abstract interpretation of logic programs using magic transformations
• The execution algorithm of mercury, an efficient purely declarative logic programming language
• A logical analysis of modules in logic programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: