Rewriting logic is a versatile and expressive framework that unifies the specification of concurrent systems with formal reasoning about their behaviour. It allows researchers and practitioners to ...

Logic programming is investigated as a vehicle for structuring and implementing decision support systems, with particular attention paid to those dealing with financial modeling. This approach to ...

Meet Primo: a physical programming interface that teaches children programming logic while they control the movements of an Arduino-powered robot. All of Primo's electronics are concealed inside ...

Jennifer Burg, Anne Boyle, Sheau-Dong Lang, Using Constraint Logic Programming to Analyze the Chronology in "A Rose for Emily", Computers and the Humanities, Vol. 34, No. 4 (Dec., 2000), pp. 377-392 ...

Texas Instruments has introduced six programmable logic devices with between 8 and 14 pins “with the ability to integrate up to 40 combinational and sequential logic and analogue functions into one ...