Implementing backjumping by throw/1 and catch/3 of Prolog.
Wlodzimierz DrabentPublished in: CoRR (2020)
Keyphrases
- expert systems
- knowledge base
- knowledge representation
- artificial intelligence
- logic programming
- programming language
- data sets
- prolog programs
- website
- semantically equivalent
- inference engine
- orders of magnitude
- general purpose
- mobile robot
- special case
- lower bound
- database systems
- case study
- e learning
- search engine
- neural network