Programming In Concurrent Logic Languages.
Matthew M. HuntbachGraem A. RingwoodPublished in: IEEE Softw. (1995)
Keyphrases
- concurrent programming
- programming language
- programs written
- logic programming
- language independent
- formal language
- computer programs
- programming paradigms
- expressive power
- classical logic
- functional programming
- modal logic
- highly expressive
- automated reasoning
- functional language
- databases
- object oriented programming
- development environment
- multi valued
- predicate logic
- information extraction
- declarative programming
- proof theory
- constraint language
- mutual exclusion
- multi lingual
- language identification
- programming environment
- computer programming
- operating system
- knowledge base