A Pragmatic Reconstruction of lambda-Prolog.
Catherine BelleannéePascal BrissetOlivier RidouxPublished in: J. Log. Program. (1999)
Keyphrases
- three dimensional
- logic programming
- programming language
- high resolution
- databases
- image reconstruction
- knowledge representation
- high quality
- learning algorithm
- theorem proving
- reconstruction process
- tomographic images
- database systems
- object oriented
- general purpose
- knowledge base
- database
- reconstructed image
- compressed sensing
- discrete tomography
- prolog programs
- lambda calculus