Comparative Metric Semantics for Concurrent Prolog.
J. W. de BakkerJoost N. KokPublished in: Theor. Comput. Sci. (1990)
Keyphrases
- logic programming
- logic programming language
- metric space
- semantically equivalent
- formal semantics
- expert systems
- knowledge representation
- comparative analysis
- programming language
- distance measure
- distance metric
- artificial intelligence
- databases
- semantic information
- evaluation metrics
- similarity search
- similarity metric
- query language
- operational semantics
- constraint logic programming
- data model
- prolog programs
- abstract machine