Vectorization techniques for prolog.

Yasusi Kanada Keiji Kojima Masahiro Sugaya

Published in: ICS (1988)

Keyphrases

logic programming
programming language
expert systems
abstract machine
line drawings
line segments
knowledge representation
knowledge base
theorem proving
constraint logic programming
prolog programs
data mining
logic programming language
special case
pairwise
reinforcement learning
three dimensional
horn clauses