This project is a fruit of many years of research on various diagrams solutions and I believe it reached endgame. If you think it's worth developing further please sponsor it with a ...

This Prolog code establishes facts about gender and parent-child relationships, along with rules to infer common family relationships (mother, father, sibling ...

This directory contains code for benchmarking Prolog implementation compatibility and performance. Naive reverse is the classical benchmark for computing LIPS (Logical Inferences Per Second). However, ...