Tools

  • SWI Prolog offers a comprehensive Free Software Prolog environment, licensed under the Lesser GNU Public License.

Textbooks

Reading Materials