Logic programming
Top View
- An Embedding of the Relational Paradigm in an Array Language with Rank-Polymorphic Unification
- Grounding and Solving in Answer Set Programming
- Advanced Programming Language Design (Raphael A. Finkel)
- Advanced Logic and Functional Programming Lecture 1: Programming Paradigms
- Linear Logic and Coordination for Parallel Programming
- History of Logic Programming
- The Integration of Functions Into Logic Programming: from Theory to Practice
- Concurrent Logic Program-Ming, Metaprogramming, and Open
- Extending Logic Programming to Object Programming
- Alexa, How Can I Reason with Prolog?
- The Logic Programming Paradigm and Prolog
- A Bit of Prolog Course Wrap-Up
- Eliminating Disjunctions in Answer Set Programming by Restricted
- The Functional Side of Logic Programming
- Open Domain Question Answering and Commonsense Reasoning
- Lightweight Functional Logic Meta-Programming
- Logic Programming Using Parallel Associa11ve Operations
- The Early Years of Logic Programming