Prolog with Arrays and Bounded Quantifications.

Jonas Barklund Johan Bevemyr

Published in: LPAR (1993)

Keyphrases

logic programming
knowledge base
knowledge representation
expert systems
backward chaining
constraint logic programming
functional programming
abstract machine
real time
e learning
three dimensional
high speed
continuous functions