منابع مشابه
BigYAP: Exo-compilation meets UDI
The widespread availability of large data-sets poses both an opportunity and a challenge to logic programming. A first approach is to couple a relational database with logic programming, say, a Prolog system with MySQL. While this approach does pay off in cases where the data cannot reside in main memory, it is known to introduce substantial overheads. Ideally, we would like the Prolog system t...
متن کاملKnowledge Compilation Meets Communication Complexity
Choosing a language for knowledge representation and reasoning involves a trade-off between two competing desiderata: succinctness (the encoding should be small) and tractability (the language should support efficient reasoning algorithms). The area of knowledge compilation is devoted to the systematic study of representation languages along these two dimensions—in particular, it aims to determ...
متن کاملBig facts, void variables, the WAM and exo-compilation
Prolog systems need to deal with large sets of wide facts, e.g. in the context of ILP. These facts are often regular in the sense that all arguments are atoms. We investigate a compilation schema (which we name exo-compilation) of such facts which reduces the memory needed for the code to about one third of the normal WAM compilation schema without undue slowdown. As a bonus, we get a significa...
متن کاملAbstract compilation of object-oriented languages into coinductive CLP(X): when type inference meets verification
compilation of object-oriented languages into coinductive CLP(X): when type inference meets verification Davide Ancona, Andrea Corradi, Giovanni Lagorio, and Ferruccio Damiani 1 DISI, University of Genova, Italy {davide,lagorio}@disi.unige.it,[email protected] 2 Dipartimento di Informatica, University of Torino, Italy
متن کاملCollaborative Compilation Acwes Collaborative Compilation
Modern optimizing compilers use many heuristic solutions that must be tuned empirically. This tuning is usually done "at the factory" using standard benchmarks. However, applications that are not in the benchmark suite will not achieve the best possible performance, because they are not considered when tuning the compiler. Collaborative compilation alleviates this problem by using local profili...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory and Practice of Logic Programming
سال: 2013
ISSN: 1471-0684,1475-3081
DOI: 10.1017/s1471068413000501