Pre-indexed Terms for Prolog (Q2949716)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Pre-indexed Terms for Prolog	scientific article

Statements

scholarly article

0 references

Pre-indexed Terms for Prolog (English)

0 references

Manuel V. Hermenegildo

0 references

Jose Francisco Morales

0 references

Logic-Based Program Synthesis and Transformation

0 references

publication date

2 October 2015

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-319-17822-6_18

0 references

0 references

An overview of Ciao and its design philosophy

0 references

0 references

0 references

Attributed Data for CHR Indexing

0 references

Towards Typed Prolog

0 references

Tabling with Answer Subsumption: Implementation, Applications and Performance

0 references

XSB: Extending Prolog with Tabled Logic Programming

0 references

Efficient tabling of structured data with enhanced hash-consing

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-319-17822-6_18

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2949716

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2949716&oldid=36204207"