Correctness of Unification Without Occur Check in Prolog.

Ritu Chadha David A. Plaisted

Published in: J. Log. Program. (1994)

Keyphrases

theorem proving
expert systems
logic programming
knowledge representation
programming language
prolog programs
theorem prover
higher order
special case
general purpose
data structure
similarity measure
multimedia
knowledge base
data sets
automated theorem proving
real time