Validierung syntaktischer und anderer EPK-Eigenschaften mit PROLOG.
Volker GruhnRalf LauePublished in: EPK (2006)
Keyphrases
- logic programming
- expert systems
- programming language
- prolog programs
- knowledge base
- logic programming language
- test set
- massachusetts institute of technology
- knowledge representation
- real time
- abstract machine
- inference engine
- general purpose
- special case
- logic programs
- pattern recognition
- constraint logic programming
- search algorithm
- case study
- domain knowledge
- relational databases
- semantically equivalent
- information systems
- database