Skip to main navigation
Skip to search
Skip to main content
Ben-Gurion University Research Portal Home
Help & FAQ
Home
Profiles
Research output
Research units
Prizes
Press/Media
Student theses
Activities
Research Labs / Equipment
Datasets
Projects
Search by expertise, name or affiliation
Efficient goal directed bottom-up evaluation of logic programs
Michael Codish
Department of Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
19
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Efficient goal directed bottom-up evaluation of logic programs'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Logic Programming
100%
Bottom-up Evaluation
100%
Magic-Set Transformation
40%
Evaluation Strategy
40%
Interpreter
20%
Overlap Degree
20%
Prolog
20%
Partial Solutions
20%
Semantic Bases
20%
Program Analysis
20%
Magic Sets
20%
Meta-interpreters
20%
Computer Science
Interpreter
100%
Logic Programming
100%
Program Analysis
50%
Partial Solution
50%