How to Define a Language Using PROLOG.
Christopher D. S. MossPublished in: Symposium on LISP and Functional Programming (1982)
Keyphrases
- programming language
- logic programming language
- abstract machine
- provide a formal definition
- constraint logic programming
- logic programming
- natural language
- programming environment
- artificial intelligence
- expert systems
- knowledge representation
- language learning
- programming paradigms
- specification language
- genetic algorithm
- user defined
- machine learning
- formally define
- semantically equivalent
- scripting language
- theorem proving
- object oriented programming
- language processing
- modeling language
- real time
- case study
- data mining