A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
A Predicate Connection Graph Based Logic with Flexible Control
1985
International Joint Conference on Artificial Intelligence
The FDE has been designed to support multiple search strategies for logic programs. This machine represents the knowledge base in a strategy independent fashion as a predicate connection graph which encodes potential unifications between predicates. It facilitates knowledge representation in the language of full first order predicate calculus Immediate developments include implementation of various database access strategies and addition of evaluable predicates and functions to the language.
dblp:conf/ijcai/WhitneyBMKHD85
fatcat:bd34rxbabba3zbde7uyep5a6nq