Declarative output by ordering text pieces

DOI10.4230/LIPICS.ICLP.2011.151zbMATH Open1245.68077MaRDI QIDQ2909154FDOQ2909154

Authors: Stefan Brass 

Publication date: 29 August 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_ee56.html

Recommendations

• The deevolution of concurrent logic programming languages
• Conceptual schemas applied to deductive databases
• Applying restriction constraints to deductive databases
• scientific article; zbMATH DE number 1161259
• scientific article; zbMATH DE number 1273664

zbMATH Keywords

implementationordersortinglogic programmingdeductive databasesbottom-up evaluationdeclarative output

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15)

This page was built for publication: Declarative output by ordering text pieces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2909154)