Plan du site  
français  English

Articles - Étudiants SUPINFO

Artificial Intelligence - Logic programming

4AIT 3 chapters 2 ECTS credits Level Intermediate


The course presents of aspects, syntactic, semantics (Syllogisms, tautologies ...) and deductive (logic consequence, principle of resolution ...). It is an introduction for to answer in combinatorial problems (reduction of positioning in games ...), planning, scheduling (dedicated tasks), by using the principle of resolution through of demonstrations by refutation, for to obtain the values ​​of possible variables. The not-deterministic aspects of the logic programming and its declarative semantic allow the separation between the representation of the problem and the resolution of the problem.


We will see that the execution of a logic program is an exploration of a tree of derivation of which the root is the negation of a clause to demonstrate and the leaves are of empty clauses. Each branch is guided by an algorithm of unification.

The principle of unification allows to generate and to link the values ​​and the different participating data in a deduction (a branch).


The course reminds therefore the principles of recursion, of path depth and width which constitute our strategies of exploration. The goal of a good exploration (the conception of a good logic program) will be to limit the number of failures for to ensure its effectiveness of deductions.

Learning path


    • Understand first order logic
    • Understand logic programming
    • Create logic programs to solve the schemes of research and path systems

    Course content

    • Formalisms and concepts

      Course : 270 min - Labs : 210 min
    • Logic programming

      Course : 360 min - Labs : 360 min
    • Agent concept and game

      Course : 120 min - Labs : 120 min


    Advanced Members' lounge (enrolled in a cursus or status holder)

    These resources are a selection from a rich set of 20,000+ books and videos courses from leading publishers and the international experts. SUPINFO International University enrolled students and "Advanced Members" enjoy unlimited access to these resources. Any person enrolled to a course or training at SUPINFO is entitled to this status. If you are not already logged on the "" SUPINFO website the links below will only give you a limited access. Become an Advanced Member

    Welcome on board: How to get started with SUPINFO courses

    Check the requirements

    Our courses are part of a coherent learning path. To take the most of a course we strongly advise you to be sure to meet the requirements before going on. You can find pre-requisistes on each and every course description page.

    Stick to the schedule

    Each course is divided into chapters with a given timing. This schedule is designed to help you take (and keep) the most of the course.

    Get your tools ready

    To take this course you need specific software resources. Be sure to download the required software before you start. Refer to the "Course Content" section.

    Review: Apply and sharpen your knowledge

    Test your knowledge

    For each chapter of this course, you'll find labs to practice your new skills. These workshops are the key to fully understand and master the course.

    Share and talk

    On the official SUPINFO forum, each course has a dedicated section where the community can be reached to address the matter. You can ask questions and get help when needed.

    Improve and discover

    SUPINFO Advanced Members have access to additional resources to improve their knowledge. Hundreds of thousands of books and videos are available on market-leading platforms.

    You master the subject : Get certified and earn ECTS credits

    Enrol for a SUPINFO cursus

    You can earn an Associate of Science diploma at the end of Year 2. That title can be supplemented by one year in B.Sc to earn a Bachelor of Science. B.Sc. holders can further their path to success by taking an additional 2 years M.Sc. to get a Master of Science (french-state accredited)

    Get back soon to learn about our certification program

    Earn a certificate together with ECTS credits after completing this course.

    Through the SUPINFO course you just follow, you can get certified by taking an exam during one of our exam sessions.

    Get back soon to learn about our certification program

    Contribute: Featured community publications

    Want to submit quality content?
    Do not hesitate to contact your Campus Manager regarding the terms and conditions of Knowledge Sharing (KWS).

    About SUPINFO | Contacts & addresses | Teachers | Press | INVESTOR | Conditions of Use & Copyright | Respect of Privacy
    Logo de la société Cisco Logo de la société IBM Logo de la société Sun-Oracle Logo de la société Apple Logo de la société Sybase Logo de la société Novell Logo de la société Intel Logo de la société Accenture Logo de la société SAP Logo de la société Prometric Logo du IT Academy Program par Microsoft

    SUPINFO International University is globally operated by EDUCINVEST Belgium - Avenue Louise, 534 - 1050 Brussels
    and is accredited in France by Association Ecole Supérieure d'Informatique de Paris (ESI SUPINFO)