- Datafun: A Functional Datalog Michael Arntzenius Neelakantan R. Krishnaswami Sun 30 April 2017
- Backtracking, Interleaving, and Terminating Monad Transformers: (Functional Pearl) Oleg Kiselyov Chung-chieh Shan Daniel P. Friedman Amr Sabry Tue 28 March 2017
- Tree Tuple Languages from the Logic Programming Point of View Sébastien Limet Gernot Salzer Mon 29 June 2015
- Nominal Logic Programming James Cheney Wed 17 April 2013
- Predicate Logic as Programming Language Robert A. Kowalski Wed 17 April 2013
- Linear-time algorithms for testing the satisfiability of propositional horn formulae William F. Dowling Jean H. Gallier Mon 08 April 2013
- The Horn mu-calculus W. Charatonik D. McAllester D. Niwinski A. Podelski I. Walukiewicz Mon 08 April 2013
- On Greatest Fixpoint Semantics of Logic Programming Mathieu Jaume Mon 08 April 2013
- Unification of Simply Typed Lambda-Terms as Logic Programming Dale Miller Tue 19 February 2013
Library Size: 13G (9 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
