A Logical Reconstruction of Prolog II.
Maarten H. van EmdenJohn W. LloydPublished in: J. Log. Program. (1984)
Keyphrases
- knowledge representation
- logic programming
- programming language
- discrete tomography
- compressed sensing
- image reconstruction
- knowledge base
- probabilistic logic
- reconstructed image
- three dimensional
- databases
- software engineering
- multiresolution
- expert systems
- natural language
- multiscale
- theorem proving
- reconstruction error
- website
- reconstruction process
- prolog programs
- logical operations
- computerized tomography