Logic programming

AMALOG is a simple, Prolog-like, logic programming language.You, the user / programmer, will describe the problem, and the Amalog interpreter will try to solve it. This is called the "declarative" paradigm.

See inside for examples, and to give it a try!

Questions / remarks: go to the "Logic programmning" topic in the Snap! forum.

v1: Feb. 2, 2024;
v1.1: Feb. 3, 2024 (error corrections);
v1.2 , Feb. 5, 2024 (mechanisms for memoizing results, and to prevent infimite loops);
v1.3, Feb. 6, 2024 (error corrections);
v1.4, Feb. 9, 2024 (Amalog block, tutorial);
v1.5, Feb. 10, 2024 (refinements).