Procedures in Horn-Clause Programming.

M. A. Nait Abdallah

Published in: ICLP (1986)

Keyphrases

horn clauses
first order logic
inference rules
logic programs
programming language
inductive logic programming
database queries
programming environment
neural network
database
co occurrence
object oriented programming