Keyphrases
- logic programming
- expert systems
- programming language
- prolog programs
- logic programming language
- knowledge base
- knowledge representation
- abstract machine
- theorem proving
- inference engine
- constraint logic programming
- answer set programming
- road vehicles
- programming paradigms
- backward chaining
- databases
- road network
- artificial intelligence
- neural network