purplecat: Hand Drawn picture of a Toy Cat (Default)
100 Current Papers in Artificial Intelligence, Automated Reasoning and Agent Programming. Number 2

Jacob M. Howe and Andy King, A Pearl on SAT and SMT Solving in Prolog, Theoretical Computer Science Volume 435, 1 June 2012, Pages 43–55.
DOI: http://dx.doi.org/10.1016/j.bbr.2011.03.031
Open Access: Available from Kent School of Computing Publication Index: http://www.cs.kent.ac.uk/pubs/2012/3136/index.html

I'm not sure quite how the terminology of a programming pearl arose. It denotes a neat, elegant or otherwise illuminating solution to some programming problem. In this case the programming pearl shows how a solver for a certain sort of logic can be programmed up in only 22 lines of of the Prolog Programming language.

Details under the Cut )

Profile

purplecat: Hand Drawn picture of a Toy Cat (Default)
purplecat

August 2017

S M T W T F S
   1 2 3 4 5
67 89101112
13 1415161718 19
20212223242526
2728293031  

Syndicate

RSS Atom

Tags

Style Credit

Expand Cut Tags

No cut tags