Proving Inductive Properties of Prolog Programs in Second-Order Intuitionistic Logic.

L. Thorne McCarty

Published in: ICLP (1993)

Keyphrases

prolog programs
intuitionistic logic
logic programs
desirable properties
knowledge representation
machine learning
knowledge base
relational databases
logic programming