Prolog Training Courses

Products and ServicesNews and Mailing ListsCustomer StoriesArticles and  LinksSupport and ForumsSearch and Site MapDownload and BuyContact and About


Amzi! Prolog + Logic Server

Learning Prolog

Consulting & Development Services

Amzi! provides training courses for beginning to advanced Prolog work.  The courses are suitable for any implementation of Prolog, but are taught using Amzi! Prolog with it's source code program trace capabilities.

The courses can be customized as required for specific training needs.

The courses can be given on-site or in scenic Asheville North Carolina, a premier South Eastern vacation destination in the beautiful Appalachian Mountains.

Cost

On-site courses cost $8,000 plus travel and living expenses. Asheville courses are $2,000 per student with a minimum requirement of 6 students.  Individuals interested in Prolog training can contact us and when we get 6 or more interested students, we will schedule a class.  Group discounts are available.

Fundamentals of Logic Programming

4 days of mixed lecture, demonstrations, and lab exercises.
Instructor: Dennis Merritt

The topics covered include:

  • Introduction to Prolog
  • Syntax, basic tools
  • Facts, unification, queries
  • Debugger
  • Rules
  • Built-in Predicates
  • Logic variables, glimpse of internals
  • Recursion
  • Performance
  • List utilities
  • Operators
  • Dynamic database
  • Cut
  • Catch/throw

Representing and Deploying Knowledge

4 days of mixed lecture, demonstrations, and lab exercises.
Instructor: Dennis Merritt

This course is more free form than the introductory course and is based on a number of tutorial applications published by the instructor in the Dr. Dobb's AI Expert newsletter and other places.  The course will cover a selected subset of the following topics, and can be customized to cover other application areas as well.

  • Prolog as a meta language for modelling knowledge and reasoning
  • Search, state space puzzles
  • Object oriented programming
  • Building a frame system
  • Ontologies
  • Building rule engines, forward chaining, backward chaining
  • Grammars (DCG), XML, bill of material processing
  • Language translation
  • Fuzzy logic
  • Bayesian belief networks
  • Chatbots

Contact Us

To schedule a course, please contact us.