Sign in to confirm you’re not a bot
This helps protect our community. Learn more

Argument Indexing in Prolog

The Power of Prolog
6.17K subscribers
3.4K views 5 years ago
Prolog systems apply argument indexing to quickly narrow down applicable clauses. The techniques vary between Prolog systems and include first argument indexing, deep indexing, multi-argument indexing and JIT indexing. We can apply various techniques to benefit from indexing. The most important ones are using clean data structures, lagged arguments and reification. More about efficiency of Prolog: https://www.metalevel.at/prolog/effic... ...more
...more
Argument Indexing in Prolog
67Likes
3,488Views
2019Dec 11
Prolog systems apply argument indexing to quickly narrow down applicable clauses. The techniques vary between Prolog systems and include first argument indexing, deep indexing, multi-argument indexing and JIT indexing. We can apply various techniques to benefit from indexing. The most important ones are using clean data structures, lagged arguments and reification. More about efficiency of Prolog: https://www.metalevel.at/prolog/effic...

Follow along using the transcript.

The Power of Prolog

6.17K subscribers