Details of Logic Programming in the LF Logical Framework (1991)
About Logic Programming in the LF Logical Framework (1991)
Logic Programming in the LF Logical Framework (1991)- Article by Frank Pfennig describing a logic programming language which serves as a proof search engine for LF.
