A Constraint-Based Graphics Library for B-Prolog.

Published in: CP (2004)

Keyphrases

logic programming
multimedia
expert systems
computer graphics
programming language
theorem proving
logic programming language
abstract machine
social networks
knowledge base
search algorithm
knowledge representation
data sets
machine learning
prolog programs
computer generated images