An interpreter for the programming language predicate logic
作者： Sten-Ake Tarnlund
DOI:
关键词:
摘要: We describe an Interpreter for the programming language predicate logic. Some topics are; syntax and proof procedure, procedure evocation, function transformation, goal variation interactive computational control.
ijcai.org参考文章(7)
G. Polya, A. Robson, How to Solve It ,(1945)
J. Allen, D. Luckham, An Interactive Theorem-Proving Program Springer Berlin Heidelberg. pp. 417- 434 ,(1983) , 10.1007/978-3-642-81955-1_26
Claude Cordell Green, The application of theorem proving to question-answering systems Stanford University. ,(1969)
Robert A. Kowalski, Predicate Logic as Programming Language. ifip congress. pp. 569- 574 ,(1974)
J. A. Robinson, A Machine-Oriented Logic Based on the Resolution Principle Journal of the ACM. ,vol. 12, pp. 23- 41 ,(1965) , 10.1145/321250.321253
Donald Ervin Knuth, The Art of Computer Programming ,(1968)