Prolog Semantics for Measuring Space Consumption.

Alexander Ja. Dikovsky

Published in: RCLP (1991)

Keyphrases

logic programming
logic programming language
website
semantically equivalent
semantic information
search space
data sets
theorem proving
real time
knowledge representation
expert systems
space time
knowledge base
search engine
higher dimensional
constraint logic programming
neural network