logic programming การใช้

• Concurrent constraint logic programming languages have also been developed.
• Programming and Automated Reasoning ", to indicate an extension of its logic part beyond logic programming.
• It is closely related to abductive logic programming.
• Variations of the fundamental concept are used in different branches of constructive mathematics and logic programming.
• Kave Eshghi showed how the event calculus can be used for planning, using abductive logic programming.
• Minker is one of the founders of the area of deductive databases and disjunctive logic programming.
• It is one of the few successful implementations outside academia of the concurrent constraint logic programming paradigm.
• Logic programming approach as was characterized by Maarten Van Emden  one of its founders  as:
• I was amused by Analysis of the British Nationality Act from 1986 using a logic programming language.
• It is a logic programming language.