Learn the important Racket concepts with practical examples, from functions and recursion to macros, contracts, streams, and ...

This repo is a record of my attempt to research and learn Prolog programming using Constraint Logic Programming (CLP). The work here was greatly inspired along by the Power of Prolog series, reading ...

Data-driven approaches are becoming increasingly common as problem-solving tools in many areas of science and technology. In most cases, machine learning models are the key component of these ...

This is a modification of Tim Finin's PFC. The Pfc system is a package that provides a forward reasoning capability to be used together with conventional Prolog programs. The Pfc inference rules are ...

Can solving hard computational problems be made easy? If we restrict the scope of the question to computational problems that can be stated in terms of constraints over binary domains, and if we ...