Welcome to stilpo’s documentation!¶
What is stilpo?¶
Stilpo is a generic ai library for Hy, although at least parts of it should be usable by Python programs too. It is based on ideas explained in excellent Building Problem Solvers by Kenneth D. Forbus and Johan de Kleer and Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp by Peter Norvig.
Stilpo was also a greek philosopher, who was interested in logic and dialetic.