Keyphrases
- pattern matching
- programming language
- functional programming
- logic programming
- predicate logic
- knowledge base
- modal logic
- classical logic
- neural network
- information systems
- functional language
- natural deduction
- formal theory
- plagiarism detection
- multi valued
- pattern discovery
- data structure
- artificial intelligence
- machine learning