Tag
A retrospective article from 1996 on the origins and development of the Prolog programming language.
This paper presents a novel fuzzy-logic-based extension of Answer Set Programming (ASP) that integrates numerical information with qualitative reasoning using membership functions, demonstrated through a travel recommendation case study.
Comprehensive notes on Datalog: what it is, how to implement it in various languages, and its applications in program analysis, with code examples and resources.
The article describes the author's PhD dissertation 'Deconstructing Datalog', which integrates Datalog's recursive query capabilities into a typed functional language (Datafun) by using least prefix points and monotonicity tracking in the type system.
This repository provides the electronic version of Hassan Ait-Kaci's book 'Warren's Abstract Machine: A Tutorial Reconstruction', an out-of-print tutorial on the Warren Abstract Machine used for Prolog compilation, now freely available for non-commercial use.
This paper presents an Answer Set Programming (ASP) based implementation of the CARCASS framework for constructing abstractions in reinforcement learning, demonstrating its effectiveness on Blocks World and Minigrid domains.
Mercury is a logic/functional programming language that combines declarative programming with static analysis and error detection. The repository provides source code, documentation, and backend support for multiple platforms.
The article explains the conceptual shift required when moving from imperative to declarative programming, using Prolog to illustrate thinking in terms of relations rather than mutable state.
An introduction to Prolog programming using Pokémon type matchups as a motivating example, demonstrating how logic programming can elegantly model relational data.
The author explores combining relational modeling with APL-style array languages using constraint logic and equational rewrite rules, discussing how properties can be defined as bidirectional deductions rather than simple assignments.
The article discusses point-free logic programming, a concept related to functional programming paradigms.
The article explores the implementation of logic programs using abstract stack machines, detailing how different mode assignments for inference rules (such as addition) translate into state machine transitions for computation.
A blog post by Hillel Wayne detailing his frustrations with the Prolog programming language, including issues with strings, lack of functions, limited data types, and cuts.