Reasoning about Prolog programs: From modes through types to assertions

Overview of attention for article published in Formal Aspects of Computing, April 2015

Altmetric Badge

About this Attention Score

Among the highest-scoring outputs from this source (#18 of 132)
Above-average Attention Score compared to outputs of the same age (54th percentile)

Mentioned by

wikipedia: 2 Wikipedia pages

Citations

dimensions_citation: 66 Dimensions

Readers on

mendeley: 7 Mendeley
citeulike: 1 CiteULike

Summary Wikipedia Dimensions citations

So far, Altmetric has seen 2 citations on 2 Wikipedia pages.

Пролог

Cited by user Olexa Riznyk on 10 Dec 2012

Prolog

Cited by user Pgr94 on 25 Nov 2010

Prolog is a general purpose logic programming language associated with artificial intelligence and computational linguistics.