██FR█████ █INTELL███████████
frenchintelligence.org
logicalprogramming
Prolog first steps: predicates, metapredicates, lambdas
June 30, 2024