50 years ago the Prolog programming language was created in France (where else?), by Alain Colmerauer with Philippe Roussel. The name comes from programmation en logique. The first implementation of Prolog was an interpreter written in Fortran by Gerard Battani and Henri Meloni.Continue reading “Programming with Logic”
The challenges to applying existing declarative rules and process technology in the context of blockchain are many and varied.
Continue reading “Declarative Rules and Process for Blockchain”