Loading Icon

Logic programming

Logic programming is a programming paradigm which is largely based on formal logic. Any program written in a logic programming language is a set of sentences in logical form, expressing facts and rules about some problem domain. Major logic programming language families include Prolog, answer set programming (ASP) and Datalog. In all of these languages, rules are written in the form of clauses:

Metrics Summary

Total Publications
Lifetime
10,508
Prior Five Years
1,135
Total Citations
Lifetime
124,110
Prior Five Years
2,994
Total Scholars
Lifetime
7,185
Prior Five Years
4,987

Institutional Rankings

Global (Worldwide)
Academic Institutions
Lifetime
Academic Institutions
Prior Five Years
Non-academic Institutions
Lifetime
#1
Belgium
#1
Italy
#1
Spain
#2
United Kingdom
#2
Germany
#3
United States
#3
Austria
#4
Australia
#4
Austria
#5
United States
#5
Italy
#6
Germany
#7
Poland
#8
Germany
#9
United States
#10
United States
Show More
National Institutional Rankings

Publications and Citation History

Publications based on Disciplines

Scholars based on Disciplines

Publications based on Fields

Scholars based on Fields

Highly Ranked Scholars™

Lifetime
Prior Five Years

Highly Cited Publications

Lifetime