Declarative output by ordering text pieces

DOI10.4230/LIPICS.ICLP.2011.151MaRDI QIDQ2909154zbMATH OpenFDO

Authors Stefan Brass

Publication date 29 August 2012

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

zbMATH Keywords

bottom-up evaluationdeclarative outputdeductive databasesimplementationlogic programmingordersorting

Mathematics Subject Classification ID

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

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

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)