Keyphrases
- information systems
- logic programming
- prolog programs
- knowledge management
- programming language
- databases
- knowledge representation
- expert systems
- abstract machine
- theorem proving
- health care
- computer systems
- logic programs
- information technology
- neural network
- knowledge base
- database
- functional programming
- constraint logic programming
- information systems development
- management information systems
- artificial intelligence
- information security
- multimedia
- website
- three dimensional
- bayesian networks
- optimal solution
- general purpose
- digital libraries