A Visual Logic Programming Language.

Jordi Puigsegur Jaume Agustí-Cullell David Stuart Robertson

Published in: VL (1996)

Keyphrases

logic programming language
logic programming
constraint logic programming
inference rules
situation calculus
declarative semantics
visual information
visual features
low level
answer set programming
databases
bayesian networks
general purpose