Jan Plaza's repositories
Wall-Follower-Evolutionary-Programming
Wall follower - an evolutionary programming experiment with adjustable parameters, implemented in Common LISP. Educational software.
Distributed-Lists
Exercises on distributed lists, using a chain of processing elements (PEs), each PE simulated by a thread.
Kepler-World
A Python turtle simulation of planet movements to study Kepler's laws and how they emerge from Newton's law of gravity, for high school or lower level undergraduate students. Also, a slide show.
Orthogonal-Latin-Squares-CLP-FD
A program in GNU Prolog with Constraint Logic Programming over finite arithmetical domain to find orthogonal Latin squares of a given size.
Prolog-Arrays
Multi-dimensional, dynamic, logical arrays with logarithmic complexity indexing, implemented in ISO Prolog.
Propositional-Resolution
Propositional theorem prover - resolution with pure literal elimination and subsumption elimination, implemented in ISO Prolog. Educational software.