A React TypeScript application that demonstrates logic puzzle solving using Tau Prolog and WebAssembly. This interactive educational tool allows users to explore constraint satisfaction problems ...

A demo project showing how to implement classic Prolog patterns in Lean 4, using the standard family relations example. The goal is to show users familiar with Prolog — such as those coming from ...

Abstract: This paper presents a new teaching tool with the goal of facilitating the learning of basic programming concepts among high school students and university freshmen. The tool incorporates a ...

Garage door openers: Don’t leave home without one. Unless, of course, you don’t have a garage. These remotes can be used again and again and reprogrammed as often as you need. You can also buy ...