Logic Programming

Learn about logic programming, a fundamental concept of computer programming and artificial intelligence.

Search ResultsAbout

  1. Creative Computing - Distance Learning

    An innovative new Bsc from Goldsmiths, London's Creative University.
    www.LondonExternal.ac.uk/comp

    An innovative new Bsc from Goldsmiths, London's Creative University.

Selected sites from UK Directory

Listing page 1 of 1

  1. Concurrent & Constraint Logic Programming

    Constraint logic programming combines means of expressing and solving constraints. Software and research papers available.
    www.cs.ucy.ac.cy

    Constraint logic programming combines means of expressing and solving constraints. Software and research papers available.

  2. Inductive Logic Programming

    Oxford Uni shows that ILP is based on proof and model theory for the first order predicate calculus. Ftp of two ILP languages.
    oldwww.comlab.ox.ac.uk

    Oxford Uni shows that ILP is based on proof and model theory for the first order predicate calculus. Ftp of two ILP languages.

  3. WWW Virtual Library - Logic Programming

    Overwhelmingly large number of resources on logic programming.
    archive.comlab.ox.ac.uk

    Overwhelmingly large number of resources on logic programming.