View as: 
A demonstration of weaknesses in Prolog’s goal-matching method in the context of language recognition/generation. Considers decidability, term languages, statement form, arbitrary strings from a restricted alphabet.
Modulo Errors
for when the margin is too small
Author
Graeme Taylor
University of Bristol
About this blog
Articles on arXiv- Nontorsion Points of Low Height on Elliptic Curves over Quadratic Fields November 10, 2011
- Lehmer's conjecture for matrices over the ring of integers of some imaginary quadratic fields March 23, 2011
- Cyclotomic Matrices and Graphs over the ring of integers of some imaginary quadratic fields November 11, 2010