[1] : WordNet (r) 2.0

logic programming
     n 1: a computer language designed in europe to support natural
          language processing syn: prolog, logic programing
     2: creating a program that enables the computer to reason
        logically
see also:
prolog logic programing 

[2] : The Free On-line Dictionary of Computing (27 SEP 03)

logic programming
     
         a
        declarative, relational style of programming based on
        first-order logic.  the original logic programming language
        was prolog.  the concept is based on horn clauses.
     
        the programmer writes a "database" of "facts", e.g.
     
        	wetwater.
     
        "water is wet" and "rules", e.g.
     
        	mortalx :- humanx.
     
        "x is mortal is implied by x is human".  facts and rules are
        collectively known as "clauses".
     
        the user supplies a "goal" which the system attempts to
        prove using "resolution" or "backward chaining".  this
        involves matching the current goal against each fact or the
        left hand side of each rule using "unification".  if the
        goal matches a fact, the goal succeeds; if it matches a rule
        then the process recurses, taking each sub-goal on the right
        hand side of the rule as the current goal.  if all sub-goals
        succeed then the rule succeeds.
     
        each time a possible clause is chosen, a "choice point" is
        created on a stack.  if subsequent resolution fails then
        control eventually returns to the choice point and subsequent
        clauses are tried.  this is known as "backtracking".
     
        clauses may contain logic variables which take on any value
        necessary to make the fact or the left hand side of the rule
        match a goal.  unification binds these variables to the
        corresponding subterms of the goal.  such bindings are
        associated with the choice point at which the clause was
        chosen and are undone when backtracking reaches that choice
        point.
     
        the user is informed of the success or failure of his first
        goal and if it succeeds and contains variables he is told what
        values of those variables caused it to succeed.  he can then
        ask for alternative solutions.
     
        1997-07-14
     
     
see also:
declarative relational first-order logic prolog horn clauses facts 
rules clauses goal resolution backward chaining 
unification choice point stack backtracking logic variable 

Boolean Logic >> B Words
Boolean Logic, definition of term: Boolean Logic
boolean+logic_pag1.html

The World Wide Web Virtual Library: Logic Programming
...Logic Programming Group and searchable papers related to logic programming by people at.....Concurrent and Constraint Logic Programming, Department of Computer Science, University of.....Logic Programming Research Related Pages links from Slava Petukhin, Irkutsk State University..
http://www.comlab.ox.ac.uk/archive/logic-prog.html, score=100, date indexed=May 14, 2005, 11:22 am

Logic Programming Associates
...programming model for distributed, intelligent applications. Built on the new TCP/IP.....Welcome to Logic Programming Associates (LPA). We design and support world-class products.....logic. WIN-PROLOG 4.600 - FREE TRIAL.. WIN-PROLOG is the leading Prolog system for..
http://www.lpa.co.uk/, score=97, date indexed=October 5, 2005, 8:08 pm

The World Wide Web Virtual Library: Logic Programming
...Logic Programming Group and searchable papers related to logic programming by people at.....Concurrent and Constraint Logic Programming, Department of Computer Science, University of.....Logic Programming Research Related Pages links from Slava Petukhin, Irkutsk State University..
http://archive.comlab.ox.ac.uk/logic-prog.html, score=96, date indexed=October 5, 2005, 6:23 am

http://www.afm.sbu.ac.uk/logic-prog/, score=94, date indexed=October 5, 2005, 2:33 am

DBLP Bibliography
...Database Systems, Logic Prog., IR, ... Full Text: ACM SIGMOD Anthology.. Links.. Research.....Database Systems - Logic Programming ..Computer Science Organizations: ACM ( DL / SIGMOD / SIGIR..
http://www.informatik.uni-trier.de/~ley/db/index.html, score=94, date indexed=February 10, 2005, 9:06 pm

The Association of Logic Programming (ALP)

http://www.cwi.nl/projects/alp/, score=94, date indexed=October 6, 2005, 3:00 am

Logic Programming
...This web page is devoted to the development of the use of logic programming and Prolog world.....Possible other sites we run but that are not related to logic programming that may interest you.....access to papers on the net relating to logic programming and constraint logic programming..
http://www.logic-programming.org/, score=93, date indexed=October 5, 2005, 6:27 am

403 Forbidden

http://www-lp.doc.ic.ac.uk/, score=91, date indexed=October 5, 2005, 9:03 pm

Journal of Functional and Logic Programming
...The Journal expects articles ranging from the theoretical foundations of functional and logic.....The Journal of Functional and Logic Programming is published in yearly volumes, one article at a.....new special issue on functional and constraint logic programming appeared in December 2004..
http://www.cs.tu-berlin.de/journal/jflp/, score=90, date indexed=October 5, 2005, 6:29 am

Page 1 2 Next