Implementation of Predicate Logic in APL2.

Uwe Engelmann Th. Gerneth Hans-Peter Meinzer

Published in: APL (1989)

Keyphrases

predicate logic
knowledge representation and reasoning
formal logic
temporal logic
search engine
search algorithm
semantic network
computational linguistics
predicate calculus
artificial intelligence
data sources